{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00253,
    "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.00556,
          0.00568,
          0.00561,
          0.00548,
          0.00551,
          0.00545,
          0.00553,
          0.0055,
          0.0055,
          0.00596,
          0.00596,
          0.00641,
          0.00641
        ]
      },
      "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.00326,
          0.00337,
          0.00319,
          0.00326,
          0.00332,
          0.00341,
          0.00346,
          0.0035,
          0.00355,
          0.00389,
          0.00392,
          0.00425,
          0.00428
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00235,
    "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.00626,
          0.00571,
          0.00559,
          0.00555,
          0.00545,
          0.00549,
          0.00549,
          0.00549,
          0.00548,
          0.00594,
          0.00594,
          0.00639,
          0.00639
        ]
      },
      "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.00309,
          0.0036,
          0.00322,
          0.00332,
          0.00338,
          0.00346,
          0.00352,
          0.00355,
          0.00358,
          0.00393,
          0.00397,
          0.00435,
          0.00435
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00238,
    "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.00583,
          0.00572,
          0.0056,
          0.00553,
          0.00546,
          0.00543,
          0.00548,
          0.00545,
          0.00545,
          0.00589,
          0.0059,
          0.00635,
          0.00644
        ]
      },
      "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.00362,
          0.00334,
          0.0034,
          0.00339,
          0.00337,
          0.0035,
          0.0035,
          0.00354,
          0.00358,
          0.00393,
          0.00396,
          0.0043,
          0.00432
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.0028,
    "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.00323,
          0.00315,
          0.00313,
          0.00322,
          0.00319,
          0.00323,
          0.0033,
          0.00335,
          0.00339,
          0.00371,
          0.00375,
          0.00408,
          0.00411
        ]
      },
      "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.00539,
          0.00551,
          0.00548,
          0.00545,
          0.00537,
          0.0054,
          0.00544,
          0.00543,
          0.00541,
          0.00587,
          0.00587,
          0.00632,
          0.00632
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00279,
    "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.00305,
          0.00297,
          0.00292,
          0.00301,
          0.00301,
          0.0031,
          0.00316,
          0.0032,
          0.00324,
          0.00355,
          0.00359,
          0.00389,
          0.00392
        ]
      },
      "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.00583,
          0.00556,
          0.00547,
          0.00544,
          0.00532,
          0.00534,
          0.00537,
          0.00537,
          0.00535,
          0.0058,
          0.00579,
          0.00632,
          0.00632
        ]
      }
    },
    "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.00388,
              -0.00545,
              -0.00732,
              -0.00956,
              -0.01225,
              -0.01547,
              -0.01935
            ],
            [
              0.0039,
              -0.00543,
              -0.0073,
              -0.00954,
              -0.01222,
              -0.01545,
              -0.01933
            ],
            [
              0.00388,
              -0.00544,
              -0.00731,
              -0.00955,
              -0.01224,
              -0.01546,
              -0.01934
            ],
            [
              0.00392,
              -0.0054,
              -0.00727,
              -0.00951,
              -0.0122,
              -0.01542,
              -0.0193
            ],
            [
              0.00395,
              -0.00537,
              -0.00723,
              -0.00947,
              -0.01215,
              -0.0154,
              -0.01927
            ],
            [
              0.00399,
              -0.00534,
              -0.00721,
              -0.00944,
              -0.01213,
              -0.01535,
              -0.01923
            ],
            [
              0.00403,
              -0.00531,
              -0.00718,
              -0.00942,
              -0.0121,
              -0.01532,
              -0.01919
            ],
            [
              0.00409,
              -0.00526,
              -0.00714,
              -0.00938,
              -0.01206,
              -0.01529,
              -0.01916
            ],
            [
              0.00416,
              -0.00522,
              -0.00709,
              -0.00933,
              -0.01202,
              -0.01525,
              -0.01914
            ],
            [
              0.00425,
              -0.00516,
              -0.00704,
              -0.00928,
              -0.01198,
              -0.01521,
              -0.01909
            ],
            [
              0.00435,
              -0.0051,
              -0.00697,
              -0.00922,
              -0.01192,
              -0.01515,
              -0.01905
            ],
            [
              0.00446,
              -0.00502,
              -0.0069,
              -0.00915,
              -0.01185,
              -0.01509,
              -0.01898
            ],
            [
              0.00456,
              -0.00493,
              -0.00681,
              -0.00907,
              -0.01178,
              -0.01502,
              -0.01892
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.0178,
              0.02714,
              0.02898,
              0.0312,
              0.03386,
              0.03706,
              0.04089
            ],
            [
              0.0178,
              0.02715,
              0.02901,
              0.03122,
              0.03388,
              0.03708,
              0.04093
            ],
            [
              0.01776,
              0.02714,
              0.029,
              0.03122,
              0.03389,
              0.03707,
              0.04093
            ],
            [
              0.01773,
              0.02714,
              0.02899,
              0.03121,
              0.03388,
              0.03708,
              0.04094
            ],
            [
              0.01768,
              0.02712,
              0.02898,
              0.0312,
              0.03386,
              0.03707,
              0.04093
            ],
            [
              0.01762,
              0.0271,
              0.02895,
              0.03118,
              0.03385,
              0.03706,
              0.04089
            ],
            [
              0.01757,
              0.02706,
              0.02893,
              0.03115,
              0.03382,
              0.03703,
              0.04088
            ],
            [
              0.01753,
              0.02701,
              0.02887,
              0.03111,
              0.0338,
              0.037,
              0.04086
            ],
            [
              0.01749,
              0.02695,
              0.02882,
              0.03106,
              0.03374,
              0.03695,
              0.04079
            ],
            [
              0.01745,
              0.0269,
              0.02876,
              0.031,
              0.03369,
              0.03689,
              0.04076
            ],
            [
              0.01743,
              0.02684,
              0.02873,
              0.03097,
              0.03364,
              0.03687,
              0.04071
            ],
            [
              0.01741,
              0.02677,
              0.02863,
              0.03087,
              0.03355,
              0.03676,
              0.04066
            ],
            [
              0.01739,
              0.02673,
              0.02859,
              0.03082,
              0.03349,
              0.0367,
              0.04056
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.0039,
              -0.00543,
              -0.0073,
              -0.00954,
              -0.01223,
              -0.01546,
              -0.01934
            ],
            [
              0.00392,
              -0.00541,
              -0.00728,
              -0.00952,
              -0.01221,
              -0.01543,
              -0.01931
            ],
            [
              0.00391,
              -0.00541,
              -0.00727,
              -0.00951,
              -0.0122,
              -0.01543,
              -0.0193
            ],
            [
              0.00395,
              -0.00538,
              -0.00725,
              -0.00949,
              -0.01218,
              -0.01539,
              -0.01928
            ],
            [
              0.00396,
              -0.00535,
              -0.00723,
              -0.00946,
              -0.01215,
              -0.01536,
              -0.01926
            ],
            [
              0.00401,
              -0.00532,
              -0.00719,
              -0.00943,
              -0.01211,
              -0.01533,
              -0.01922
            ],
            [
              0.00405,
              -0.00528,
              -0.00715,
              -0.00939,
              -0.01208,
              -0.0153,
              -0.01917
            ],
            [
              0.0041,
              -0.00525,
              -0.00711,
              -0.00935,
              -0.01204,
              -0.01526,
              -0.01913
            ],
            [
              0.00417,
              -0.00521,
              -0.00708,
              -0.00932,
              -0.012,
              -0.01523,
              -0.01911
            ],
            [
              0.00425,
              -0.00515,
              -0.00703,
              -0.00927,
              -0.01196,
              -0.01519,
              -0.01907
            ],
            [
              0.00433,
              -0.0051,
              -0.00697,
              -0.00922,
              -0.01192,
              -0.01515,
              -0.01904
            ],
            [
              0.00443,
              -0.00503,
              -0.0069,
              -0.00916,
              -0.01185,
              -0.01509,
              -0.01898
            ],
            [
              0.00451,
              -0.00495,
              -0.00683,
              -0.00909,
              -0.0118,
              -0.01504,
              -0.01893
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.01908,
              0.02836,
              0.03021,
              0.03243,
              0.03509,
              0.03828,
              0.04211
            ],
            [
              0.01907,
              0.02834,
              0.03019,
              0.03241,
              0.03508,
              0.03827,
              0.0421
            ],
            [
              0.01904,
              0.02833,
              0.03018,
              0.0324,
              0.03506,
              0.03826,
              0.0421
            ],
            [
              0.01902,
              0.02832,
              0.03018,
              0.0324,
              0.03506,
              0.03826,
              0.0421
            ],
            [
              0.01898,
              0.02831,
              0.03017,
              0.03239,
              0.03505,
              0.03825,
              0.0421
            ],
            [
              0.01894,
              0.0283,
              0.03016,
              0.03238,
              0.03504,
              0.03823,
              0.04208
            ],
            [
              0.01889,
              0.02826,
              0.03012,
              0.03235,
              0.03502,
              0.03822,
              0.04207
            ],
            [
              0.01885,
              0.02823,
              0.03008,
              0.03231,
              0.03498,
              0.03819,
              0.04204
            ],
            [
              0.01882,
              0.02818,
              0.03005,
              0.03228,
              0.03495,
              0.03816,
              0.04201
            ],
            [
              0.0188,
              0.02815,
              0.03001,
              0.03224,
              0.03491,
              0.03811,
              0.04198
            ],
            [
              0.01878,
              0.02811,
              0.02998,
              0.0322,
              0.03487,
              0.0381,
              0.04196
            ],
            [
              0.01876,
              0.02808,
              0.02994,
              0.03217,
              0.03484,
              0.03804,
              0.04193
            ],
            [
              0.01873,
              0.02805,
              0.02991,
              0.03213,
              0.0348,
              0.03801,
              0.04188
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.00396,
              -0.00537,
              -0.00724,
              -0.00948,
              -0.01217,
              -0.01539,
              -0.01927
            ],
            [
              0.00398,
              -0.00535,
              -0.00722,
              -0.00946,
              -0.01214,
              -0.01537,
              -0.01925
            ],
            [
              0.004,
              -0.00533,
              -0.0072,
              -0.00944,
              -0.01213,
              -0.01535,
              -0.01923
            ],
            [
              0.00401,
              -0.00532,
              -0.00718,
              -0.00942,
              -0.0121,
              -0.01533,
              -0.01922
            ],
            [
              0.00404,
              -0.00528,
              -0.00715,
              -0.00939,
              -0.01208,
              -0.01531,
              -0.01918
            ],
            [
              0.00408,
              -0.00525,
              -0.00711,
              -0.00935,
              -0.01205,
              -0.01528,
              -0.01916
            ],
            [
              0.00413,
              -0.00521,
              -0.00708,
              -0.00932,
              -0.012,
              -0.01523,
              -0.01911
            ],
            [
              0.00418,
              -0.00517,
              -0.00704,
              -0.00928,
              -0.01196,
              -0.01519,
              -0.01907
            ],
            [
              0.00425,
              -0.00513,
              -0.007,
              -0.00924,
              -0.01193,
              -0.01516,
              -0.01903
            ],
            [
              0.00433,
              -0.00507,
              -0.00695,
              -0.00919,
              -0.01188,
              -0.01512,
              -0.019
            ],
            [
              0.00442,
              -0.00501,
              -0.00689,
              -0.00914,
              -0.01183,
              -0.01507,
              -0.01896
            ],
            [
              0.00451,
              -0.00494,
              -0.00682,
              -0.00907,
              -0.01177,
              -0.01501,
              -0.0189
            ],
            [
              0.00459,
              -0.00487,
              -0.00675,
              -0.00901,
              -0.01171,
              -0.01496,
              -0.01885
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.02011,
              0.02938,
              0.03124,
              0.03345,
              0.03612,
              0.03931,
              0.04315
            ],
            [
              0.02008,
              0.02935,
              0.0312,
              0.03343,
              0.03609,
              0.03928,
              0.04313
            ],
            [
              0.02006,
              0.02934,
              0.03118,
              0.03341,
              0.03607,
              0.03926,
              0.0431
            ],
            [
              0.02005,
              0.02932,
              0.03118,
              0.0334,
              0.03607,
              0.03926,
              0.04309
            ],
            [
              0.02003,
              0.02931,
              0.03116,
              0.03338,
              0.03605,
              0.03925,
              0.04309
            ],
            [
              0.02,
              0.02929,
              0.03115,
              0.03337,
              0.03604,
              0.03923,
              0.04306
            ],
            [
              0.01996,
              0.02928,
              0.03113,
              0.03336,
              0.03602,
              0.03922,
              0.04305
            ],
            [
              0.01993,
              0.02926,
              0.03112,
              0.03334,
              0.036,
              0.0392,
              0.04304
            ],
            [
              0.01992,
              0.02924,
              0.03109,
              0.03331,
              0.03598,
              0.03918,
              0.04302
            ],
            [
              0.01991,
              0.02922,
              0.03108,
              0.0333,
              0.03598,
              0.03918,
              0.04301
            ],
            [
              0.01989,
              0.0292,
              0.03105,
              0.03328,
              0.03594,
              0.03914,
              0.043
            ],
            [
              0.01987,
              0.02918,
              0.03104,
              0.03327,
              0.03593,
              0.03914,
              0.04299
            ],
            [
              0.01986,
              0.02916,
              0.03102,
              0.03323,
              0.0359,
              0.03912,
              0.04296
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.00164,
              -0.00783,
              -0.00971,
              -0.01197,
              -0.01465,
              -0.01786,
              -0.02174
            ],
            [
              0.00165,
              -0.00781,
              -0.00969,
              -0.01194,
              -0.01463,
              -0.01787,
              -0.02175
            ],
            [
              0.0017,
              -0.00782,
              -0.00969,
              -0.01194,
              -0.01464,
              -0.01787,
              -0.02175
            ],
            [
              0.00175,
              -0.00779,
              -0.00967,
              -0.01192,
              -0.01462,
              -0.01785,
              -0.02173
            ],
            [
              0.00181,
              -0.00778,
              -0.00966,
              -0.01191,
              -0.0146,
              -0.01784,
              -0.02173
            ],
            [
              0.00188,
              -0.00775,
              -0.00963,
              -0.01189,
              -0.01459,
              -0.01782,
              -0.02171
            ],
            [
              0.00196,
              -0.00772,
              -0.00961,
              -0.01186,
              -0.01457,
              -0.01781,
              -0.0217
            ],
            [
              0.00207,
              -0.00768,
              -0.00957,
              -0.01183,
              -0.01454,
              -0.01778,
              -0.02167
            ],
            [
              0.00216,
              -0.00762,
              -0.00952,
              -0.01178,
              -0.01449,
              -0.01774,
              -0.02163
            ],
            [
              0.00225,
              -0.00753,
              -0.00943,
              -0.01171,
              -0.01442,
              -0.01768,
              -0.02158
            ],
            [
              0.00234,
              -0.00743,
              -0.00934,
              -0.01162,
              -0.01434,
              -0.0176,
              -0.02151
            ],
            [
              0.00242,
              -0.00731,
              -0.00923,
              -0.0115,
              -0.01424,
              -0.01751,
              -0.02143
            ],
            [
              0.00249,
              -0.00719,
              -0.00911,
              -0.01139,
              -0.01413,
              -0.0174,
              -0.02133
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.00931,
              0.01872,
              0.02056,
              0.02277,
              0.02545,
              0.02866,
              0.03253
            ],
            [
              0.00928,
              0.01869,
              0.02056,
              0.0228,
              0.02548,
              0.02868,
              0.03252
            ],
            [
              0.00923,
              0.01871,
              0.02056,
              0.0228,
              0.02548,
              0.02868,
              0.03254
            ],
            [
              0.0092,
              0.01871,
              0.02057,
              0.0228,
              0.02548,
              0.02871,
              0.03255
            ],
            [
              0.00914,
              0.01868,
              0.02056,
              0.0228,
              0.02547,
              0.02868,
              0.03254
            ],
            [
              0.00909,
              0.01865,
              0.02053,
              0.02276,
              0.02545,
              0.02866,
              0.03253
            ],
            [
              0.00903,
              0.0186,
              0.02047,
              0.02271,
              0.0254,
              0.02862,
              0.0325
            ],
            [
              0.00897,
              0.01852,
              0.0204,
              0.02265,
              0.02534,
              0.02857,
              0.03243
            ],
            [
              0.00893,
              0.01844,
              0.02032,
              0.02257,
              0.02527,
              0.0285,
              0.03238
            ],
            [
              0.0089,
              0.01836,
              0.02023,
              0.02247,
              0.02517,
              0.0284,
              0.03228
            ],
            [
              0.00887,
              0.01829,
              0.02016,
              0.0224,
              0.0251,
              0.02831,
              0.03217
            ],
            [
              0.00885,
              0.01823,
              0.0201,
              0.02234,
              0.02503,
              0.02823,
              0.0321
            ],
            [
              0.00885,
              0.01817,
              0.02004,
              0.02228,
              0.02495,
              0.02815,
              0.032
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.00164,
              -0.0078,
              -0.00967,
              -0.01192,
              -0.01461,
              -0.01784,
              -0.02172
            ],
            [
              0.0017,
              -0.0078,
              -0.00968,
              -0.01192,
              -0.01462,
              -0.01786,
              -0.02174
            ],
            [
              0.00173,
              -0.0078,
              -0.00968,
              -0.01192,
              -0.01462,
              -0.01785,
              -0.02174
            ],
            [
              0.00178,
              -0.00779,
              -0.00967,
              -0.01191,
              -0.01461,
              -0.01785,
              -0.02173
            ],
            [
              0.00184,
              -0.00778,
              -0.00966,
              -0.01191,
              -0.0146,
              -0.01784,
              -0.02172
            ],
            [
              0.00193,
              -0.00775,
              -0.00963,
              -0.01189,
              -0.01458,
              -0.01782,
              -0.02171
            ],
            [
              0.00202,
              -0.00771,
              -0.0096,
              -0.01186,
              -0.01456,
              -0.0178,
              -0.02169
            ],
            [
              0.00213,
              -0.00766,
              -0.00955,
              -0.01181,
              -0.01452,
              -0.01777,
              -0.02166
            ],
            [
              0.00224,
              -0.00759,
              -0.00949,
              -0.01175,
              -0.01447,
              -0.01772,
              -0.02163
            ],
            [
              0.00233,
              -0.00749,
              -0.0094,
              -0.01168,
              -0.0144,
              -0.01766,
              -0.02157
            ],
            [
              0.00242,
              -0.00738,
              -0.00929,
              -0.01158,
              -0.01431,
              -0.01758,
              -0.0215
            ],
            [
              0.00251,
              -0.00725,
              -0.00917,
              -0.01146,
              -0.0142,
              -0.01747,
              -0.0214
            ],
            [
              0.00257,
              -0.00713,
              -0.00904,
              -0.01133,
              -0.01407,
              -0.01735,
              -0.02128
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.01075,
              0.02012,
              0.02198,
              0.02421,
              0.02686,
              0.03004,
              0.03389
            ],
            [
              0.0107,
              0.02008,
              0.02194,
              0.02416,
              0.02683,
              0.03005,
              0.03392
            ],
            [
              0.01069,
              0.02007,
              0.02194,
              0.02417,
              0.02685,
              0.03005,
              0.03389
            ],
            [
              0.01066,
              0.02006,
              0.02193,
              0.02416,
              0.02683,
              0.03004,
              0.03389
            ],
            [
              0.0106,
              0.02004,
              0.02191,
              0.02415,
              0.02681,
              0.03003,
              0.03388
            ],
            [
              0.01055,
              0.02001,
              0.02188,
              0.02412,
              0.0268,
              0.03001,
              0.03387
            ],
            [
              0.01049,
              0.01998,
              0.02185,
              0.02409,
              0.02677,
              0.02998,
              0.03385
            ],
            [
              0.01044,
              0.01991,
              0.02179,
              0.02405,
              0.02673,
              0.02995,
              0.0338
            ],
            [
              0.01039,
              0.01985,
              0.02172,
              0.02396,
              0.02664,
              0.02986,
              0.03373
            ],
            [
              0.01035,
              0.01979,
              0.02167,
              0.0239,
              0.02658,
              0.0298,
              0.03368
            ],
            [
              0.01031,
              0.01971,
              0.02158,
              0.02382,
              0.0265,
              0.02973,
              0.0336
            ],
            [
              0.01028,
              0.01966,
              0.02153,
              0.02376,
              0.02645,
              0.02966,
              0.03349
            ],
            [
              0.01028,
              0.01961,
              0.02147,
              0.0237,
              0.02639,
              0.02959,
              0.03345
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.01817,
    "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.12857,
              0.28558,
              0.31553,
              0.35124,
              0.39383,
              0.44475,
              0.50578
            ],
            [
              0.13159,
              0.28861,
              0.31855,
              0.35426,
              0.39687,
              0.44782,
              0.50884
            ],
            [
              0.13526,
              0.29229,
              0.32224,
              0.35795,
              0.40055,
              0.4515,
              0.5125
            ],
            [
              0.14089,
              0.29794,
              0.32789,
              0.36361,
              0.40623,
              0.45715,
              0.51819
            ],
            [
              0.14932,
              0.30654,
              0.33649,
              0.37221,
              0.41483,
              0.46576,
              0.52681
            ],
            [
              0.16233,
              0.31952,
              0.34946,
              0.38508,
              0.42777,
              0.4787,
              0.53975
            ],
            [
              0.18173,
              0.33908,
              0.36905,
              0.40479,
              0.44744,
              0.49822,
              0.55929
            ],
            [
              0.21108,
              0.36851,
              0.39852,
              0.43427,
              0.47695,
              0.52796,
              0.58904
            ],
            [
              0.25625,
              0.41296,
              0.44296,
              0.47867,
              0.52127,
              0.57202,
              0.63346
            ],
            [
              0.32254,
              0.48001,
              0.51025,
              0.54605,
              0.58874,
              0.63979,
              0.70069
            ],
            [
              0.40836,
              0.58152,
              0.61132,
              0.64692,
              0.68952,
              0.74012,
              0.80172
            ],
            [
              0.51907,
              0.72907,
              0.76227,
              0.79987,
              0.84267,
              0.89327,
              0.95397
            ],
            [
              0.6611,
              0.9208,
              0.9614,
              1.0071,
              1.0587,
              1.1169,
              1.1813
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.26267,
              0.61516,
              0.68505,
              0.76836,
              0.86955,
              0.98946,
              1.13487
            ],
            [
              0.26655,
              0.62008,
              0.68996,
              0.77371,
              0.87441,
              0.99504,
              1.14024
            ],
            [
              0.27081,
              0.62548,
              0.6952,
              0.77955,
              0.8796,
              1.00102,
              1.14612
            ],
            [
              0.27769,
              0.63357,
              0.70368,
              0.78712,
              0.88843,
              1.00868,
              1.15447
            ],
            [
              0.28851,
              0.64535,
              0.71534,
              0.79952,
              0.90075,
              1.02071,
              1.16721
            ],
            [
              0.30543,
              0.66326,
              0.73348,
              0.81791,
              0.91859,
              1.03992,
              1.18442
            ],
            [
              0.33179,
              0.6905,
              0.76106,
              0.84458,
              0.94613,
              1.06683,
              1.21283
            ],
            [
              0.37291,
              0.73073,
              0.80171,
              0.88616,
              0.98756,
              1.10826,
              1.25436
            ],
            [
              0.43519,
              0.79235,
              0.86335,
              0.94755,
              1.04915,
              1.17085,
              1.31595
            ],
            [
              0.52974,
              0.88609,
              0.95669,
              1.04109,
              1.14249,
              1.26429,
              1.40939
            ],
            [
              0.67052,
              1.02522,
              1.09662,
              1.18112,
              1.28232,
              1.40342,
              1.54932
            ],
            [
              0.87797,
              1.23167,
              1.30217,
              1.38657,
              1.48807,
              1.60927,
              1.75517
            ],
            [
              1.1725,
              1.5386,
              1.6086,
              1.6929,
              1.7939,
              1.9144,
              2.0606
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.0876,
              0.27569,
              0.31293,
              0.35748,
              0.41077,
              0.47518,
              0.55201
            ],
            [
              0.0876,
              0.27598,
              0.31302,
              0.35787,
              0.41108,
              0.47488,
              0.55172
            ],
            [
              0.0876,
              0.27582,
              0.31304,
              0.35769,
              0.41113,
              0.4751,
              0.55229
            ],
            [
              0.08758,
              0.27582,
              0.31334,
              0.35749,
              0.41078,
              0.47507,
              0.55164
            ],
            [
              0.08763,
              0.27583,
              0.313,
              0.35742,
              0.41082,
              0.47507,
              0.5517
            ],
            [
              0.08762,
              0.27581,
              0.31297,
              0.3574,
              0.41091,
              0.47496,
              0.55206
            ],
            [
              0.08769,
              0.27607,
              0.31296,
              0.35742,
              0.4107,
              0.47474,
              0.55197
            ],
            [
              0.08654,
              0.27566,
              0.31301,
              0.35733,
              0.41079,
              0.47525,
              0.55158
            ],
            [
              0.08741,
              0.27571,
              0.313,
              0.35741,
              0.41083,
              0.47488,
              0.55173
            ],
            [
              0.09913,
              0.27551,
              0.31222,
              0.35699,
              0.41065,
              0.475,
              0.55208
            ],
            [
              0.11869,
              0.28849,
              0.32224,
              0.3638,
              0.4147,
              0.4762,
              0.5519
            ],
            [
              0.1462,
              0.3282,
              0.3582,
              0.3954,
              0.4415,
              0.4981,
              0.568
            ],
            [
              0.1844,
              0.3993,
              0.4314,
              0.4684,
              0.5105,
              0.5602,
              0.6232
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.1345,
              0.57117,
              0.65831,
              0.76253,
              0.88837,
              1.03717,
              1.21774
            ],
            [
              0.13457,
              0.57147,
              0.65819,
              0.7624,
              0.88771,
              1.03745,
              1.21811
            ],
            [
              0.13449,
              0.57116,
              0.65845,
              0.76248,
              0.88735,
              1.03758,
              1.21825
            ],
            [
              0.13472,
              0.5714,
              0.65833,
              0.7625,
              0.88857,
              1.03732,
              1.21862
            ],
            [
              0.13468,
              0.57127,
              0.65851,
              0.7624,
              0.88841,
              1.03715,
              1.21773
            ],
            [
              0.13492,
              0.57124,
              0.65813,
              0.76296,
              0.88731,
              1.03822,
              1.21745
            ],
            [
              0.13505,
              0.57119,
              0.6586,
              0.76241,
              0.88793,
              1.03717,
              1.2187
            ],
            [
              0.13514,
              0.57142,
              0.65822,
              0.76257,
              0.88787,
              1.03755,
              1.21789
            ],
            [
              0.13519,
              0.5712,
              0.65845,
              0.76261,
              0.88763,
              1.038,
              1.21765
            ],
            [
              0.13531,
              0.57112,
              0.6586,
              0.7628,
              0.8876,
              1.0383,
              1.2174
            ],
            [
              0.1356,
              0.5714,
              0.6586,
              0.7623,
              0.8874,
              1.0371,
              1.2187
            ],
            [
              0.1418,
              0.5712,
              0.6582,
              0.7626,
              0.8886,
              1.0375,
              1.2175
            ],
            [
              0.1664,
              0.5727,
              0.6586,
              0.7628,
              0.8874,
              1.0369,
              1.2172
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.09784,
              0.25681,
              0.28685,
              0.32259,
              0.36526,
              0.41625,
              0.47722
            ],
            [
              0.10084,
              0.25978,
              0.28982,
              0.32559,
              0.36827,
              0.41916,
              0.48013
            ],
            [
              0.10448,
              0.26341,
              0.29345,
              0.32922,
              0.3719,
              0.42282,
              0.48377
            ],
            [
              0.11005,
              0.26899,
              0.29903,
              0.3348,
              0.37748,
              0.42846,
              0.48944
            ],
            [
              0.1185,
              0.27749,
              0.30754,
              0.34332,
              0.38598,
              0.43695,
              0.49803
            ],
            [
              0.13131,
              0.29028,
              0.32035,
              0.35615,
              0.39882,
              0.44977,
              0.51078
            ],
            [
              0.15092,
              0.30976,
              0.33983,
              0.37564,
              0.41835,
              0.46937,
              0.53044
            ],
            [
              0.18114,
              0.33906,
              0.36918,
              0.40502,
              0.44774,
              0.49876,
              0.55977
            ],
            [
              0.22734,
              0.38382,
              0.41353,
              0.44935,
              0.49191,
              0.54302,
              0.60414
            ],
            [
              0.28788,
              0.45106,
              0.48056,
              0.51664,
              0.5593,
              0.61025,
              0.67079
            ],
            [
              0.3662,
              0.55292,
              0.58262,
              0.61812,
              0.66052,
              0.71112,
              0.77242
            ],
            [
              0.46697,
              0.69567,
              0.73017,
              0.76897,
              0.81327,
              0.86367,
              0.92387
            ],
            [
              0.5961,
              0.8798,
              0.9217,
              0.9696,
              1.0233,
              1.0836,
              1.1509
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.29285,
              0.75404,
              0.84558,
              0.95526,
              1.08717,
              1.24507,
              1.43497
            ],
            [
              0.29638,
              0.7591,
              0.85022,
              0.95995,
              1.09234,
              1.25004,
              1.44034
            ],
            [
              0.30042,
              0.76448,
              0.85568,
              0.9661,
              1.09792,
              1.25512,
              1.44592
            ],
            [
              0.30677,
              0.77241,
              0.86428,
              0.97388,
              1.10578,
              1.26428,
              1.45447
            ],
            [
              0.31719,
              0.78401,
              0.87556,
              0.98561,
              1.11831,
              1.27671,
              1.46671
            ],
            [
              0.33355,
              0.80177,
              0.89338,
              1.00412,
              1.13592,
              1.29472,
              1.48482
            ],
            [
              0.35933,
              0.82842,
              0.92103,
              1.03033,
              1.16273,
              1.32193,
              1.51223
            ],
            [
              0.39992,
              0.86836,
              0.96116,
              1.07126,
              1.20426,
              1.36276,
              1.55346
            ],
            [
              0.46179,
              0.92915,
              1.02165,
              1.13275,
              1.26555,
              1.42425,
              1.61485
            ],
            [
              0.55594,
              1.02189,
              1.11449,
              1.22489,
              1.35819,
              1.51609,
              1.70799
            ],
            [
              0.69562,
              1.15992,
              1.25312,
              1.36392,
              1.49612,
              1.65542,
              1.84562
            ],
            [
              0.89987,
              1.36267,
              1.45477,
              1.56487,
              1.69717,
              1.85617,
              2.04827
            ],
            [
              1.19,
              1.6605,
              1.7528,
              1.8628,
              1.9951,
              2.1537,
              2.3443
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.0816,
              0.26708,
              0.30388,
              0.34829,
              0.40117,
              0.46478,
              0.54182
            ],
            [
              0.08153,
              0.267,
              0.30397,
              0.34814,
              0.40112,
              0.46507,
              0.54203
            ],
            [
              0.08148,
              0.26726,
              0.30403,
              0.34814,
              0.40114,
              0.46504,
              0.54202
            ],
            [
              0.08133,
              0.26701,
              0.30395,
              0.34833,
              0.4013,
              0.46476,
              0.54183
            ],
            [
              0.08122,
              0.26703,
              0.30403,
              0.34832,
              0.40119,
              0.46523,
              0.5416
            ],
            [
              0.08076,
              0.26694,
              0.30393,
              0.34817,
              0.4014,
              0.46527,
              0.54207
            ],
            [
              0.07906,
              0.26673,
              0.30373,
              0.34812,
              0.40128,
              0.46482,
              0.5418
            ],
            [
              0.07847,
              0.26658,
              0.30347,
              0.3482,
              0.40128,
              0.46475,
              0.54209
            ],
            [
              0.0849,
              0.26576,
              0.30302,
              0.34777,
              0.40109,
              0.46488,
              0.54148
            ],
            [
              0.09997,
              0.26822,
              0.3037,
              0.34723,
              0.39998,
              0.46437,
              0.54175
            ],
            [
              0.12116,
              0.28622,
              0.31855,
              0.3585,
              0.4078,
              0.4685,
              0.5428
            ],
            [
              0.1507,
              0.3321,
              0.3611,
              0.3964,
              0.4402,
              0.4956,
              0.5636
            ],
            [
              0.1908,
              0.4062,
              0.4386,
              0.475,
              0.5163,
              0.5646,
              0.6243
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.16531,
              0.74086,
              0.85582,
              0.99531,
              1.15931,
              1.35715,
              1.59513
            ],
            [
              0.16545,
              0.74131,
              0.85647,
              0.99456,
              1.15956,
              1.35821,
              1.59552
            ],
            [
              0.16525,
              0.74091,
              0.85662,
              0.9935,
              1.15967,
              1.3573,
              1.59576
            ],
            [
              0.16512,
              0.74095,
              0.85602,
              0.99501,
              1.15858,
              1.35727,
              1.59584
            ],
            [
              0.16542,
              0.7412,
              0.85658,
              0.99439,
              1.15875,
              1.35752,
              1.59655
            ],
            [
              0.16555,
              0.74108,
              0.85626,
              0.99553,
              1.16024,
              1.35774,
              1.59498
            ],
            [
              0.16553,
              0.74137,
              0.8558,
              0.99471,
              1.1588,
              1.3571,
              1.59493
            ],
            [
              0.16554,
              0.74115,
              0.85634,
              0.99475,
              1.15857,
              1.35758,
              1.59571
            ],
            [
              0.16575,
              0.74085,
              0.85604,
              0.99557,
              1.15961,
              1.3582,
              1.5949
            ],
            [
              0.16607,
              0.7408,
              0.856,
              0.9948,
              1.1597,
              1.3577,
              1.595
            ],
            [
              0.1663,
              0.7407,
              0.8571,
              0.9952,
              1.16,
              1.3585,
              1.5967
            ],
            [
              0.1715,
              0.7409,
              0.8557,
              0.9936,
              1.1591,
              1.3588,
              1.596
            ],
            [
              0.1926,
              0.7413,
              0.8557,
              0.9937,
              1.1608,
              1.3572,
              1.5949
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.10102,
              0.25975,
              0.28977,
              0.3255,
              0.36813,
              0.41905,
              0.47999
            ],
            [
              0.104,
              0.26272,
              0.29274,
              0.32847,
              0.37111,
              0.42203,
              0.483
            ],
            [
              0.10762,
              0.26634,
              0.29636,
              0.33211,
              0.37475,
              0.42566,
              0.48662
            ],
            [
              0.11318,
              0.27192,
              0.30195,
              0.33769,
              0.38033,
              0.43125,
              0.49223
            ],
            [
              0.12163,
              0.28042,
              0.31044,
              0.34618,
              0.38881,
              0.43977,
              0.50075
            ],
            [
              0.1344,
              0.29322,
              0.32332,
              0.35905,
              0.4017,
              0.45262,
              0.51359
            ],
            [
              0.15392,
              0.3127,
              0.34276,
              0.37854,
              0.42123,
              0.47218,
              0.53303
            ],
            [
              0.18418,
              0.34205,
              0.3721,
              0.40791,
              0.45061,
              0.5016,
              0.5626
            ],
            [
              0.23041,
              0.38672,
              0.41646,
              0.45225,
              0.49483,
              0.54588,
              0.60694
            ],
            [
              0.29152,
              0.45323,
              0.48346,
              0.51912,
              0.56174,
              0.61266,
              0.67369
            ],
            [
              0.37068,
              0.55582,
              0.58532,
              0.62092,
              0.66342,
              0.71402,
              0.77422
            ],
            [
              0.47257,
              0.69907,
              0.73307,
              0.77217,
              0.81617,
              0.86637,
              0.92647
            ],
            [
              0.6032,
              0.8835,
              0.9257,
              0.9733,
              1.0269,
              1.0869,
              1.1539
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.32987,
              0.7664,
              0.85296,
              0.95664,
              1.08087,
              1.23007,
              1.40927
            ],
            [
              0.33395,
              0.77149,
              0.85815,
              0.9618,
              1.08614,
              1.23524,
              1.41454
            ],
            [
              0.33859,
              0.77694,
              0.86358,
              0.96736,
              1.09172,
              1.24102,
              1.42012
            ],
            [
              0.34553,
              0.78495,
              0.87169,
              0.97557,
              1.09998,
              1.24918,
              1.42868
            ],
            [
              0.35628,
              0.79683,
              0.8837,
              0.98771,
              1.11231,
              1.26161,
              1.44131
            ],
            [
              0.37281,
              0.81505,
              0.90153,
              1.00582,
              1.13032,
              1.27972,
              1.45932
            ],
            [
              0.3986,
              0.84178,
              0.92823,
              1.03253,
              1.15753,
              1.30713,
              1.48723
            ],
            [
              0.43881,
              0.88196,
              0.96916,
              1.07386,
              1.19886,
              1.34816,
              1.52756
            ],
            [
              0.50052,
              0.94295,
              1.03015,
              1.13495,
              1.26015,
              1.40985,
              1.58985
            ],
            [
              0.59384,
              1.03589,
              1.12289,
              1.22769,
              1.35289,
              1.50299,
              1.68309
            ],
            [
              0.73362,
              1.17472,
              1.26192,
              1.36642,
              1.49182,
              1.64182,
              1.82112
            ],
            [
              0.93827,
              1.37677,
              1.46387,
              1.56837,
              1.69327,
              1.84327,
              2.02407
            ],
            [
              1.2349,
              1.676,
              1.763,
              1.8671,
              1.9919,
              2.1413,
              2.3218
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.09959,
              0.28308,
              0.3199,
              0.36394,
              0.4169,
              0.48072,
              0.55741
            ],
            [
              0.09955,
              0.28309,
              0.31983,
              0.36397,
              0.41693,
              0.48091,
              0.55764
            ],
            [
              0.09949,
              0.28306,
              0.31986,
              0.36396,
              0.41711,
              0.48074,
              0.55743
            ],
            [
              0.09942,
              0.28315,
              0.31989,
              0.36401,
              0.41712,
              0.4808,
              0.55745
            ],
            [
              0.09928,
              0.28306,
              0.31992,
              0.36397,
              0.41689,
              0.48074,
              0.55735
            ],
            [
              0.09893,
              0.28301,
              0.31984,
              0.36395,
              0.41684,
              0.48074,
              0.55755
            ],
            [
              0.09748,
              0.28287,
              0.3198,
              0.36398,
              0.417,
              0.48062,
              0.55737
            ],
            [
              0.0964,
              0.28278,
              0.31955,
              0.36381,
              0.4169,
              0.48057,
              0.55753
            ],
            [
              0.10224,
              0.28202,
              0.31915,
              0.36344,
              0.41666,
              0.48064,
              0.55718
            ],
            [
              0.11862,
              0.28432,
              0.31977,
              0.36309,
              0.41598,
              0.48033,
              0.55722
            ],
            [
              0.14289,
              0.30215,
              0.33456,
              0.37434,
              0.4235,
              0.4841,
              0.5584
            ],
            [
              0.1771,
              0.3478,
              0.377,
              0.4121,
              0.4561,
              0.5109,
              0.5791
            ],
            [
              0.2243,
              0.4248,
              0.4558,
              0.4914,
              0.5318,
              0.5799,
              0.64
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.18335,
              0.73018,
              0.83862,
              0.96945,
              1.12579,
              1.31348,
              1.53837
            ],
            [
              0.18344,
              0.72987,
              0.83918,
              0.96899,
              1.12542,
              1.31351,
              1.53876
            ],
            [
              0.18359,
              0.73001,
              0.83921,
              0.9692,
              1.12531,
              1.31349,
              1.53921
            ],
            [
              0.1836,
              0.73023,
              0.8386,
              0.96914,
              1.1258,
              1.31351,
              1.53923
            ],
            [
              0.18372,
              0.73001,
              0.83918,
              0.96949,
              1.12571,
              1.31356,
              1.53924
            ],
            [
              0.18376,
              0.7299,
              0.83884,
              0.96948,
              1.12586,
              1.31349,
              1.53815
            ],
            [
              0.18364,
              0.73035,
              0.83883,
              0.96919,
              1.12585,
              1.31352,
              1.5365
            ],
            [
              0.18379,
              0.73013,
              0.83892,
              0.96935,
              1.12582,
              1.31354,
              1.53921
            ],
            [
              0.18393,
              0.73019,
              0.83881,
              0.96915,
              1.12569,
              1.3134,
              1.5382
            ],
            [
              0.18401,
              0.7301,
              0.8387,
              0.9692,
              1.1253,
              1.3129,
              1.5393
            ],
            [
              0.1842,
              0.7302,
              0.8392,
              0.9695,
              1.1257,
              1.3138,
              1.5392
            ],
            [
              0.1867,
              0.73,
              0.8388,
              0.9692,
              1.1258,
              1.3132,
              1.5393
            ],
            [
              0.2047,
              0.7308,
              0.8387,
              0.9693,
              1.1258,
              1.3135,
              1.5389
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.14072,
              0.29773,
              0.3277,
              0.3634,
              0.40601,
              0.45696,
              0.51791
            ],
            [
              0.14406,
              0.30107,
              0.33104,
              0.36673,
              0.40935,
              0.46029,
              0.52131
            ],
            [
              0.14811,
              0.30511,
              0.33508,
              0.37077,
              0.41339,
              0.46434,
              0.52535
            ],
            [
              0.15418,
              0.31117,
              0.34114,
              0.37683,
              0.41946,
              0.47038,
              0.53141
            ],
            [
              0.16295,
              0.32001,
              0.34997,
              0.38566,
              0.42827,
              0.47924,
              0.54021
            ],
            [
              0.17578,
              0.33296,
              0.36292,
              0.39863,
              0.44126,
              0.49221,
              0.55314
            ],
            [
              0.19493,
              0.35217,
              0.38216,
              0.41787,
              0.46052,
              0.51152,
              0.57254
            ],
            [
              0.22364,
              0.38109,
              0.41111,
              0.44685,
              0.4895,
              0.54045,
              0.60145
            ],
            [
              0.26713,
              0.42451,
              0.45454,
              0.49032,
              0.53303,
              0.58404,
              0.64513
            ],
            [
              0.33056,
              0.48953,
              0.51963,
              0.55547,
              0.59823,
              0.64929,
              0.71049
            ],
            [
              0.41762,
              0.58702,
              0.61712,
              0.65302,
              0.69592,
              0.74702,
              0.80832
            ],
            [
              0.53497,
              0.72847,
              0.76097,
              0.79857,
              0.84227,
              0.89347,
              0.95487
            ],
            [
              0.6901,
              0.9217,
              0.9589,
              1.0015,
              1.0505,
              1.107,
              1.1723
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.29697,
              0.64875,
              0.71866,
              0.80234,
              0.90277,
              1.02317,
              1.16797
            ],
            [
              0.30099,
              0.65307,
              0.72299,
              0.80673,
              0.90715,
              1.02764,
              1.17234
            ],
            [
              0.30575,
              0.65837,
              0.72827,
              0.81206,
              0.91248,
              1.03302,
              1.17772
            ],
            [
              0.31311,
              0.66634,
              0.7363,
              0.82005,
              0.92054,
              1.04108,
              1.18588
            ],
            [
              0.32434,
              0.67843,
              0.74848,
              0.83227,
              0.93282,
              1.05331,
              1.19811
            ],
            [
              0.34174,
              0.69654,
              0.76665,
              0.85054,
              0.95112,
              1.07162,
              1.21662
            ],
            [
              0.36832,
              0.72371,
              0.79385,
              0.8778,
              0.97863,
              1.09933,
              1.24423
            ],
            [
              0.40928,
              0.76494,
              0.835,
              0.91916,
              1.01986,
              1.14066,
              1.28576
            ],
            [
              0.47166,
              0.82705,
              0.89735,
              0.98145,
              1.08225,
              1.20315,
              1.34835
            ],
            [
              0.56597,
              0.92059,
              0.99119,
              1.07529,
              1.17609,
              1.29679,
              1.44259
            ],
            [
              0.70652,
              1.06062,
              1.13082,
              1.21482,
              1.31542,
              1.43712,
              1.58242
            ],
            [
              0.91327,
              1.26677,
              1.33667,
              1.42117,
              1.52197,
              1.64277,
              1.78857
            ],
            [
              1.2127,
              1.5721,
              1.6422,
              1.726,
              1.8265,
              1.9477,
              2.0929
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.08765,
              0.27596,
              0.31325,
              0.35747,
              0.41107,
              0.47481,
              0.55246
            ],
            [
              0.08767,
              0.27604,
              0.3129,
              0.35737,
              0.41104,
              0.47486,
              0.55186
            ],
            [
              0.08766,
              0.27581,
              0.31301,
              0.35754,
              0.41107,
              0.47521,
              0.55208
            ],
            [
              0.08766,
              0.276,
              0.31282,
              0.35736,
              0.41093,
              0.47485,
              0.55202
            ],
            [
              0.08764,
              0.2758,
              0.31283,
              0.35784,
              0.41103,
              0.47472,
              0.55202
            ],
            [
              0.08771,
              0.27585,
              0.31303,
              0.35752,
              0.41087,
              0.47471,
              0.55224
            ],
            [
              0.08753,
              0.2759,
              0.31299,
              0.35751,
              0.41067,
              0.47516,
              0.55162
            ],
            [
              0.08687,
              0.27572,
              0.31305,
              0.35741,
              0.41071,
              0.47473,
              0.55159
            ],
            [
              0.08789,
              0.2758,
              0.31301,
              0.35743,
              0.41069,
              0.4747,
              0.55167
            ],
            [
              0.09481,
              0.27599,
              0.313,
              0.35697,
              0.41039,
              0.4745,
              0.55178
            ],
            [
              0.10792,
              0.28402,
              0.3194,
              0.3622,
              0.4137,
              0.4765,
              0.5525
            ],
            [
              0.1289,
              0.3086,
              0.3411,
              0.3814,
              0.4304,
              0.4899,
              0.5625
            ],
            [
              0.16,
              0.357,
              0.3905,
              0.4293,
              0.475,
              0.53,
              0.5973
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.15744,
              0.59532,
              0.68189,
              0.78616,
              0.91227,
              1.06071,
              1.24108
            ],
            [
              0.15729,
              0.59545,
              0.68232,
              0.78686,
              0.91138,
              1.06107,
              1.24064
            ],
            [
              0.15748,
              0.59534,
              0.68192,
              0.7861,
              0.91203,
              1.06106,
              1.24159
            ],
            [
              0.15748,
              0.59531,
              0.68194,
              0.78616,
              0.9123,
              1.06071,
              1.24063
            ],
            [
              0.15734,
              0.59535,
              0.68261,
              0.78617,
              0.91187,
              1.06066,
              1.24101
            ],
            [
              0.15755,
              0.59544,
              0.68234,
              0.78611,
              0.91114,
              1.0608,
              1.24162
            ],
            [
              0.15729,
              0.59531,
              0.68255,
              0.78686,
              0.91098,
              1.06083,
              1.24097
            ],
            [
              0.15742,
              0.59529,
              0.68192,
              0.78607,
              0.91199,
              1.06102,
              1.24165
            ],
            [
              0.15743,
              0.59534,
              0.68269,
              0.78616,
              0.91233,
              1.06067,
              1.24119
            ],
            [
              0.15756,
              0.5952,
              0.6826,
              0.7861,
              0.9123,
              1.0607,
              1.2406
            ],
            [
              0.1579,
              0.5953,
              0.6819,
              0.7861,
              0.9115,
              1.0613,
              1.2416
            ],
            [
              0.1611,
              0.5953,
              0.6825,
              0.7869,
              0.9118,
              1.0614,
              1.2416
            ],
            [
              0.1823,
              0.5962,
              0.6823,
              0.7868,
              0.9115,
              1.0614,
              1.2405
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.11009,
              0.26895,
              0.299,
              0.33474,
              0.37741,
              0.42836,
              0.48937
            ],
            [
              0.1134,
              0.27223,
              0.30227,
              0.33803,
              0.38072,
              0.43166,
              0.49261
            ],
            [
              0.1174,
              0.27626,
              0.30629,
              0.34207,
              0.38473,
              0.43571,
              0.49663
            ],
            [
              0.12341,
              0.2822,
              0.31224,
              0.34801,
              0.39069,
              0.44161,
              0.50257
            ],
            [
              0.1321,
              0.29095,
              0.32098,
              0.35672,
              0.39937,
              0.45027,
              0.51144
            ],
            [
              0.14492,
              0.30374,
              0.33379,
              0.36957,
              0.41226,
              0.4632,
              0.52423
            ],
            [
              0.16411,
              0.32283,
              0.35288,
              0.38867,
              0.43139,
              0.48239,
              0.54338
            ],
            [
              0.19322,
              0.35157,
              0.38164,
              0.41746,
              0.46018,
              0.51116,
              0.57214
            ],
            [
              0.23675,
              0.39494,
              0.42499,
              0.46075,
              0.50347,
              0.55455,
              0.61557
            ],
            [
              0.297,
              0.46006,
              0.49014,
              0.52597,
              0.5687,
              0.61978,
              0.68079
            ],
            [
              0.37893,
              0.55772,
              0.58782,
              0.62362,
              0.66642,
              0.71742,
              0.77882
            ],
            [
              0.48817,
              0.69567,
              0.72907,
              0.76767,
              0.81227,
              0.86387,
              0.92517
            ],
            [
              0.6321,
              0.8835,
              0.9222,
              0.9667,
              1.0171,
              1.0748,
              1.1413
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.341,
              0.80626,
              0.89868,
              1.00957,
              1.14237,
              1.30177,
              1.49327
            ],
            [
              0.34483,
              0.8105,
              0.90302,
              1.01384,
              1.14674,
              1.30614,
              1.49764
            ],
            [
              0.34939,
              0.81572,
              0.90823,
              1.01902,
              1.15202,
              1.31142,
              1.50302
            ],
            [
              0.35645,
              0.82359,
              0.91619,
              1.02707,
              1.16008,
              1.31938,
              1.51107
            ],
            [
              0.36722,
              0.83553,
              0.92819,
              1.03921,
              1.17211,
              1.33161,
              1.52321
            ],
            [
              0.38419,
              0.85343,
              0.94622,
              1.05722,
              1.19022,
              1.34982,
              1.54172
            ],
            [
              0.41025,
              0.88031,
              0.97313,
              1.08423,
              1.21753,
              1.37723,
              1.56913
            ],
            [
              0.45078,
              0.92116,
              1.01386,
              1.12516,
              1.25846,
              1.41826,
              1.61026
            ],
            [
              0.5128,
              0.98285,
              1.07585,
              1.18715,
              1.32065,
              1.48055,
              1.67265
            ],
            [
              0.60674,
              1.07579,
              1.16899,
              1.28049,
              1.41389,
              1.57359,
              1.76649
            ],
            [
              0.74602,
              1.21442,
              1.30732,
              1.41862,
              1.55172,
              1.71262,
              1.90492
            ],
            [
              0.94927,
              1.41677,
              1.50957,
              1.62107,
              1.75437,
              1.91437,
              2.10717
            ],
            [
              1.2433,
              1.7133,
              1.8061,
              1.9171,
              2.0502,
              2.2105,
              2.4027
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.08114,
              0.26709,
              0.30416,
              0.34822,
              0.40129,
              0.46528,
              0.54168
            ],
            [
              0.08114,
              0.26709,
              0.30396,
              0.34831,
              0.40155,
              0.46513,
              0.54219
            ],
            [
              0.08108,
              0.26737,
              0.30399,
              0.34797,
              0.40148,
              0.46477,
              0.5419
            ],
            [
              0.08092,
              0.26701,
              0.30412,
              0.34807,
              0.40116,
              0.4652,
              0.54222
            ],
            [
              0.0809,
              0.26697,
              0.30393,
              0.34836,
              0.40142,
              0.46534,
              0.54179
            ],
            [
              0.08061,
              0.26702,
              0.30406,
              0.34811,
              0.40108,
              0.46498,
              0.54159
            ],
            [
              0.07976,
              0.26679,
              0.30398,
              0.34819,
              0.40102,
              0.46493,
              0.54188
            ],
            [
              0.07966,
              0.26676,
              0.30377,
              0.34792,
              0.40113,
              0.46478,
              0.54212
            ],
            [
              0.08321,
              0.26642,
              0.30335,
              0.34769,
              0.40116,
              0.46492,
              0.54207
            ],
            [
              0.09268,
              0.26795,
              0.30415,
              0.34781,
              0.40074,
              0.46438,
              0.54204
            ],
            [
              0.108,
              0.27869,
              0.31305,
              0.3551,
              0.4058,
              0.4676,
              0.5425
            ],
            [
              0.1315,
              0.308,
              0.3398,
              0.3783,
              0.4259,
              0.4842,
              0.5563
            ],
            [
              0.1646,
              0.3601,
              0.3925,
              0.4306,
              0.4756,
              0.5288,
              0.5945
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.19717,
              0.7815,
              0.89771,
              1.03724,
              1.20438,
              1.40473,
              1.64329
            ],
            [
              0.19709,
              0.78133,
              0.89774,
              1.03714,
              1.20372,
              1.40454,
              1.64587
            ],
            [
              0.19719,
              0.78121,
              0.89734,
              1.03709,
              1.2037,
              1.40495,
              1.64611
            ],
            [
              0.19722,
              0.78117,
              0.89689,
              1.03653,
              1.2026,
              1.40481,
              1.64585
            ],
            [
              0.19711,
              0.78158,
              0.89756,
              1.03725,
              1.20419,
              1.40473,
              1.64574
            ],
            [
              0.19729,
              0.78128,
              0.89774,
              1.03683,
              1.20439,
              1.40472,
              1.6433
            ],
            [
              0.19728,
              0.78152,
              0.8977,
              1.03713,
              1.20436,
              1.40473,
              1.64587
            ],
            [
              0.19765,
              0.78119,
              0.89753,
              1.0371,
              1.20431,
              1.40474,
              1.64572
            ],
            [
              0.19723,
              0.78128,
              0.89767,
              1.03669,
              1.20439,
              1.4048,
              1.6458
            ],
            [
              0.19716,
              0.7814,
              0.8977,
              1.0365,
              1.2043,
              1.4052,
              1.6465
            ],
            [
              0.1977,
              0.7816,
              0.8976,
              1.0372,
              1.2043,
              1.4047,
              1.6455
            ],
            [
              0.2,
              0.7811,
              0.8971,
              1.0371,
              1.2042,
              1.4051,
              1.6457
            ],
            [
              0.2171,
              0.7815,
              0.8978,
              1.0372,
              1.2036,
              1.4045,
              1.6455
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.11328,
              0.27194,
              0.30196,
              0.33769,
              0.38032,
              0.43123,
              0.49219
            ],
            [
              0.11658,
              0.27522,
              0.30525,
              0.34098,
              0.38362,
              0.43455,
              0.49549
            ],
            [
              0.12058,
              0.2792,
              0.30923,
              0.34497,
              0.38761,
              0.43851,
              0.49949
            ],
            [
              0.12657,
              0.28519,
              0.31522,
              0.35096,
              0.39359,
              0.44449,
              0.50545
            ],
            [
              0.13527,
              0.29391,
              0.32393,
              0.35968,
              0.4023,
              0.45322,
              0.51424
            ],
            [
              0.14807,
              0.30674,
              0.33677,
              0.37253,
              0.41519,
              0.46609,
              0.52705
            ],
            [
              0.16722,
              0.32583,
              0.35586,
              0.39164,
              0.4343,
              0.48527,
              0.54623
            ],
            [
              0.19626,
              0.35459,
              0.38466,
              0.42044,
              0.46312,
              0.51406,
              0.57509
            ],
            [
              0.23987,
              0.39795,
              0.42799,
              0.46381,
              0.50649,
              0.55746,
              0.61846
            ],
            [
              0.30045,
              0.46306,
              0.49314,
              0.52895,
              0.57168,
              0.62268,
              0.68379
            ],
            [
              0.38294,
              0.56062,
              0.59082,
              0.62662,
              0.66942,
              0.72052,
              0.78172
            ],
            [
              0.49307,
              0.69907,
              0.73237,
              0.77077,
              0.81527,
              0.86687,
              0.92817
            ],
            [
              0.6383,
              0.8874,
              0.9262,
              0.9702,
              1.0205,
              1.0781,
              1.1444
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.37109,
              0.806,
              0.89227,
              0.99557,
              1.11937,
              1.26767,
              1.44607
            ],
            [
              0.37512,
              0.81033,
              0.89656,
              0.99984,
              1.12364,
              1.27214,
              1.45054
            ],
            [
              0.37999,
              0.81559,
              0.90182,
              1.00512,
              1.12902,
              1.27742,
              1.45592
            ],
            [
              0.38732,
              0.82347,
              0.9098,
              1.01308,
              1.13708,
              1.28558,
              1.46398
            ],
            [
              0.39866,
              0.83552,
              0.92193,
              1.02531,
              1.14921,
              1.29771,
              1.47621
            ],
            [
              0.41577,
              0.85358,
              0.94002,
              1.04342,
              1.16742,
              1.31602,
              1.49452
            ],
            [
              0.44228,
              0.88053,
              0.96703,
              1.07073,
              1.19483,
              1.34353,
              1.52213
            ],
            [
              0.48246,
              0.92156,
              1.00806,
              1.11166,
              1.23596,
              1.38476,
              1.56346
            ],
            [
              0.54458,
              0.98345,
              1.07015,
              1.17385,
              1.29815,
              1.44705,
              1.62585
            ],
            [
              0.63839,
              1.07679,
              1.16349,
              1.26729,
              1.39159,
              1.54089,
              1.71989
            ],
            [
              0.77772,
              1.21542,
              1.30202,
              1.40542,
              1.52992,
              1.67972,
              1.85862
            ],
            [
              0.98147,
              1.41827,
              1.50527,
              1.60867,
              1.73307,
              1.88197,
              2.06167
            ],
            [
              1.279,
              1.7164,
              1.8029,
              1.9064,
              2.0302,
              2.1798,
              2.3588
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.09925,
              0.28313,
              0.3199,
              0.36398,
              0.41683,
              0.48077,
              0.55744
            ],
            [
              0.0992,
              0.28314,
              0.31994,
              0.36407,
              0.41701,
              0.48106,
              0.55754
            ],
            [
              0.09918,
              0.2831,
              0.31992,
              0.36383,
              0.41703,
              0.48073,
              0.55734
            ],
            [
              0.09912,
              0.28326,
              0.31978,
              0.36395,
              0.41699,
              0.48068,
              0.55736
            ],
            [
              0.09899,
              0.28298,
              0.31984,
              0.36395,
              0.41698,
              0.48102,
              0.55758
            ],
            [
              0.09877,
              0.2831,
              0.31995,
              0.36403,
              0.41695,
              0.48075,
              0.55758
            ],
            [
              0.098,
              0.28286,
              0.31989,
              0.36411,
              0.41694,
              0.48081,
              0.5575
            ],
            [
              0.09765,
              0.2829,
              0.31963,
              0.3639,
              0.41698,
              0.48057,
              0.55745
            ],
            [
              0.10087,
              0.28238,
              0.31929,
              0.3636,
              0.41688,
              0.48061,
              0.55752
            ],
            [
              0.11086,
              0.28409,
              0.32005,
              0.36356,
              0.41634,
              0.48022,
              0.5573
            ],
            [
              0.12779,
              0.29491,
              0.32904,
              0.3708,
              0.4215,
              0.4833,
              0.5582
            ],
            [
              0.1539,
              0.3238,
              0.3554,
              0.3941,
              0.4416,
              0.5,
              0.5713
            ],
            [
              0.1914,
              0.3774,
              0.4093,
              0.4469,
              0.491,
              0.5441,
              0.6101
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.21091,
              0.7569,
              0.86506,
              0.99632,
              1.15205,
              1.33835,
              1.56161
            ],
            [
              0.21085,
              0.75664,
              0.8653,
              0.99524,
              1.15113,
              1.33869,
              1.56175
            ],
            [
              0.21091,
              0.75679,
              0.86521,
              0.99512,
              1.15206,
              1.33826,
              1.56187
            ],
            [
              0.21084,
              0.75731,
              0.86531,
              0.99561,
              1.15151,
              1.33844,
              1.56188
            ],
            [
              0.21119,
              0.75739,
              0.86513,
              0.99648,
              1.15211,
              1.33842,
              1.56262
            ],
            [
              0.21101,
              0.75666,
              0.86533,
              0.99521,
              1.1515,
              1.33822,
              1.56261
            ],
            [
              0.21117,
              0.75739,
              0.86528,
              0.99565,
              1.15209,
              1.33849,
              1.56212
            ],
            [
              0.21109,
              0.75684,
              0.86533,
              0.99619,
              1.15214,
              1.33845,
              1.56266
            ],
            [
              0.21115,
              0.7569,
              0.86536,
              0.99565,
              1.15162,
              1.3388,
              1.5623
            ],
            [
              0.21103,
              0.7569,
              0.8653,
              0.9955,
              1.152,
              1.3377,
              1.5617
            ],
            [
              0.2113,
              0.7573,
              0.8652,
              0.9957,
              1.1519,
              1.338,
              1.5625
            ],
            [
              0.2124,
              0.7567,
              0.8653,
              0.9957,
              1.1518,
              1.3377,
              1.5626
            ],
            [
              0.2266,
              0.7569,
              0.8653,
              0.9951,
              1.1511,
              1.3383,
              1.5626
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.14404,
              0.30103,
              0.33101,
              0.3667,
              0.40932,
              0.46027,
              0.52121
            ],
            [
              0.14773,
              0.30473,
              0.33469,
              0.3704,
              0.41303,
              0.46396,
              0.52491
            ],
            [
              0.15205,
              0.30906,
              0.33903,
              0.37472,
              0.41734,
              0.46829,
              0.52925
            ],
            [
              0.15823,
              0.31523,
              0.3452,
              0.38094,
              0.42356,
              0.4745,
              0.53548
            ],
            [
              0.16709,
              0.32415,
              0.35412,
              0.3898,
              0.43249,
              0.48338,
              0.5444
            ],
            [
              0.17986,
              0.33698,
              0.36694,
              0.40265,
              0.44528,
              0.49627,
              0.55727
            ],
            [
              0.19834,
              0.35556,
              0.38554,
              0.42125,
              0.46391,
              0.51482,
              0.57591
            ],
            [
              0.22539,
              0.38277,
              0.41277,
              0.4485,
              0.49118,
              0.54216,
              0.60321
            ],
            [
              0.26565,
              0.42299,
              0.45301,
              0.4888,
              0.53153,
              0.58253,
              0.64368
            ],
            [
              0.32407,
              0.483,
              0.51307,
              0.5489,
              0.59165,
              0.64269,
              0.70389
            ],
            [
              0.40493,
              0.57262,
              0.60272,
              0.63862,
              0.68142,
              0.73262,
              0.79382
            ],
            [
              0.51687,
              0.70187,
              0.73407,
              0.77167,
              0.81557,
              0.86697,
              0.92817
            ],
            [
              0.6706,
              0.8809,
              0.9166,
              0.958,
              1.0061,
              1.062,
              1.1271
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.29576,
              0.62502,
              0.69006,
              0.7679,
              0.86122,
              0.97311,
              1.10747
            ],
            [
              0.29958,
              0.62891,
              0.69395,
              0.77182,
              0.86513,
              0.97701,
              1.11144
            ],
            [
              0.30439,
              0.63385,
              0.69888,
              0.77674,
              0.87009,
              0.98202,
              1.11632
            ],
            [
              0.31209,
              0.64163,
              0.70668,
              0.78453,
              0.87792,
              0.98987,
              1.12417
            ],
            [
              0.3237,
              0.65351,
              0.71856,
              0.79644,
              0.88988,
              1.00181,
              1.13621
            ],
            [
              0.34151,
              0.67163,
              0.73676,
              0.81465,
              0.90804,
              1.02002,
              1.15432
            ],
            [
              0.36845,
              0.69891,
              0.76405,
              0.84198,
              0.93543,
              1.04733,
              1.18183
            ],
            [
              0.40912,
              0.74024,
              0.80541,
              0.88336,
              0.97676,
              1.08876,
              1.22326
            ],
            [
              0.47113,
              0.80215,
              0.86715,
              0.94515,
              1.03855,
              1.15075,
              1.28525
            ],
            [
              0.56367,
              0.89429,
              0.95969,
              1.03779,
              1.13129,
              1.24339,
              1.37799
            ],
            [
              0.70022,
              1.03082,
              1.09592,
              1.17392,
              1.26742,
              1.37922,
              1.51412
            ],
            [
              0.90057,
              1.23087,
              1.29637,
              1.37427,
              1.46777,
              1.57977,
              1.71437
            ],
            [
              1.1893,
              1.5271,
              1.5921,
              1.67,
              1.7632,
              1.8758,
              2.0106
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.08763,
              0.27597,
              0.31279,
              0.35739,
              0.41101,
              0.4751,
              0.55228
            ],
            [
              0.08766,
              0.27589,
              0.31331,
              0.35744,
              0.41097,
              0.47522,
              0.55229
            ],
            [
              0.08764,
              0.27587,
              0.31299,
              0.35753,
              0.41104,
              0.47476,
              0.5523
            ],
            [
              0.08764,
              0.27585,
              0.31307,
              0.35787,
              0.41099,
              0.47476,
              0.55204
            ],
            [
              0.08767,
              0.2759,
              0.31292,
              0.35735,
              0.4109,
              0.47482,
              0.55213
            ],
            [
              0.08764,
              0.27593,
              0.31301,
              0.35736,
              0.41107,
              0.47477,
              0.55223
            ],
            [
              0.08758,
              0.2758,
              0.31323,
              0.3574,
              0.41079,
              0.47497,
              0.55173
            ],
            [
              0.08712,
              0.27573,
              0.31288,
              0.35744,
              0.41079,
              0.47472,
              0.55201
            ],
            [
              0.08781,
              0.27582,
              0.31307,
              0.3573,
              0.41086,
              0.47493,
              0.55173
            ],
            [
              0.09346,
              0.2763,
              0.31291,
              0.35705,
              0.41057,
              0.47448,
              0.55158
            ],
            [
              0.10325,
              0.28309,
              0.31864,
              0.3617,
              0.4138,
              0.4763,
              0.5528
            ],
            [
              0.1178,
              0.3029,
              0.337,
              0.378,
              0.428,
              0.4887,
              0.5626
            ],
            [
              0.1412,
              0.3382,
              0.3733,
              0.4148,
              0.4635,
              0.5211,
              0.5907
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.16238,
              0.57026,
              0.65109,
              0.74883,
              0.86491,
              1.00428,
              1.17195
            ],
            [
              0.1624,
              0.57026,
              0.65114,
              0.74784,
              0.86453,
              1.00445,
              1.17201
            ],
            [
              0.1624,
              0.57015,
              0.65086,
              0.74875,
              0.86513,
              1.00429,
              1.17026
            ],
            [
              0.16243,
              0.5703,
              0.65113,
              0.74785,
              0.86491,
              1.00338,
              1.17195
            ],
            [
              0.16254,
              0.5703,
              0.65117,
              0.74873,
              0.8652,
              1.00442,
              1.17197
            ],
            [
              0.16259,
              0.57034,
              0.65087,
              0.74883,
              0.86426,
              1.00329,
              1.17061
            ],
            [
              0.1627,
              0.57053,
              0.65121,
              0.7478,
              0.86462,
              1.0046,
              1.17192
            ],
            [
              0.16272,
              0.57026,
              0.65104,
              0.74775,
              0.86424,
              1.00333,
              1.17192
            ],
            [
              0.16256,
              0.57026,
              0.65126,
              0.7479,
              0.86488,
              1.00415,
              1.17067
            ],
            [
              0.16273,
              0.5702,
              0.6513,
              0.748,
              0.865,
              1.0042,
              1.1706
            ],
            [
              0.1628,
              0.57,
              0.651,
              0.7478,
              0.8649,
              1.0033,
              1.172
            ],
            [
              0.1682,
              0.57,
              0.651,
              0.7479,
              0.8642,
              1.0036,
              1.1706
            ],
            [
              0.1918,
              0.5727,
              0.652,
              0.7486,
              0.8641,
              1.0041,
              1.1704
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.11344,
              0.27224,
              0.30228,
              0.33804,
              0.38071,
              0.43169,
              0.49264
            ],
            [
              0.1171,
              0.27589,
              0.30592,
              0.34169,
              0.38434,
              0.43534,
              0.49637
            ],
            [
              0.12137,
              0.28017,
              0.3102,
              0.34596,
              0.38861,
              0.43961,
              0.50068
            ],
            [
              0.12748,
              0.28625,
              0.31632,
              0.35208,
              0.39474,
              0.44568,
              0.50679
            ],
            [
              0.13624,
              0.29504,
              0.32512,
              0.36089,
              0.40356,
              0.45453,
              0.51557
            ],
            [
              0.1489,
              0.30775,
              0.33776,
              0.37354,
              0.41631,
              0.46729,
              0.52836
            ],
            [
              0.16736,
              0.32617,
              0.35621,
              0.39197,
              0.43467,
              0.48558,
              0.54669
            ],
            [
              0.19471,
              0.35329,
              0.38336,
              0.41913,
              0.46183,
              0.5128,
              0.57378
            ],
            [
              0.235,
              0.39352,
              0.4236,
              0.45938,
              0.50205,
              0.55307,
              0.61415
            ],
            [
              0.29106,
              0.45347,
              0.48356,
              0.51939,
              0.56215,
              0.61313,
              0.67429
            ],
            [
              0.36851,
              0.54302,
              0.57332,
              0.60912,
              0.65182,
              0.70292,
              0.76412
            ],
            [
              0.47547,
              0.66967,
              0.70267,
              0.74097,
              0.78557,
              0.83757,
              0.89867
            ],
            [
              0.6208,
              0.8451,
              0.8819,
              0.9242,
              0.9733,
              1.0301,
              1.096
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.35085,
              0.79503,
              0.88284,
              0.98803,
              1.11407,
              1.26527,
              1.44677
            ],
            [
              0.35444,
              0.7987,
              0.88656,
              0.99174,
              1.11784,
              1.26894,
              1.45054
            ],
            [
              0.35906,
              0.80349,
              0.89133,
              0.99652,
              1.12262,
              1.27372,
              1.45532
            ],
            [
              0.36655,
              0.81115,
              0.89897,
              1.00418,
              1.13028,
              1.28148,
              1.46308
            ],
            [
              0.37792,
              0.82286,
              0.91074,
              1.01591,
              1.14211,
              1.29331,
              1.47501
            ],
            [
              0.39547,
              0.84084,
              0.92872,
              1.03402,
              1.16012,
              1.31142,
              1.49292
            ],
            [
              0.42217,
              0.86809,
              0.95593,
              1.06123,
              1.18733,
              1.33863,
              1.52033
            ],
            [
              0.46248,
              0.90906,
              0.99706,
              1.10246,
              1.22866,
              1.37996,
              1.56156
            ],
            [
              0.52427,
              0.97075,
              1.05855,
              1.16395,
              1.29015,
              1.44165,
              1.62345
            ],
            [
              0.6162,
              1.06229,
              1.15059,
              1.25599,
              1.38239,
              1.53369,
              1.71559
            ],
            [
              0.75092,
              1.19682,
              1.28482,
              1.39022,
              1.51652,
              1.66772,
              1.84972
            ],
            [
              0.94637,
              1.39197,
              1.48037,
              1.58557,
              1.71187,
              1.86337,
              2.04507
            ],
            [
              1.229,
              1.6776,
              1.7656,
              1.8708,
              1.9969,
              2.1489,
              2.3309
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.08101,
              0.26711,
              0.30394,
              0.34829,
              0.4012,
              0.46475,
              0.54188
            ],
            [
              0.08094,
              0.26733,
              0.30399,
              0.34803,
              0.40143,
              0.46481,
              0.54174
            ],
            [
              0.08089,
              0.26699,
              0.30395,
              0.34825,
              0.40145,
              0.46475,
              0.54164
            ],
            [
              0.08083,
              0.26737,
              0.30397,
              0.34811,
              0.40134,
              0.46507,
              0.54173
            ],
            [
              0.08077,
              0.26702,
              0.30407,
              0.34833,
              0.40133,
              0.46487,
              0.5416
            ],
            [
              0.08057,
              0.26702,
              0.30406,
              0.34823,
              0.40104,
              0.46476,
              0.54164
            ],
            [
              0.08005,
              0.26726,
              0.30387,
              0.34818,
              0.40148,
              0.46523,
              0.54181
            ],
            [
              0.07983,
              0.2668,
              0.3038,
              0.34792,
              0.40114,
              0.46479,
              0.54189
            ],
            [
              0.08251,
              0.26654,
              0.30344,
              0.34795,
              0.40125,
              0.46509,
              0.5415
            ],
            [
              0.08985,
              0.26799,
              0.30427,
              0.34811,
              0.4006,
              0.4648,
              0.54144
            ],
            [
              0.10061,
              0.27693,
              0.31196,
              0.35432,
              0.4056,
              0.4679,
              0.5433
            ],
            [
              0.1174,
              0.2998,
              0.3331,
              0.3733,
              0.4223,
              0.482,
              0.5548
            ],
            [
              0.1441,
              0.3371,
              0.3717,
              0.4125,
              0.4606,
              0.5175,
              0.5862
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.20942,
              0.76602,
              0.87545,
              1.00802,
              1.16625,
              1.35738,
              1.58406
            ],
            [
              0.2095,
              0.76509,
              0.87632,
              1.00758,
              1.16677,
              1.35757,
              1.58614
            ],
            [
              0.2094,
              0.76519,
              0.87643,
              1.00746,
              1.16685,
              1.35657,
              1.58498
            ],
            [
              0.20943,
              0.76454,
              0.87565,
              1.00759,
              1.16633,
              1.35642,
              1.58511
            ],
            [
              0.20935,
              0.7651,
              0.87501,
              1.00773,
              1.16644,
              1.35729,
              1.58612
            ],
            [
              0.20939,
              0.76479,
              0.8762,
              1.00855,
              1.1671,
              1.35665,
              1.58471
            ],
            [
              0.20978,
              0.7651,
              0.87621,
              1.00766,
              1.16687,
              1.35762,
              1.58561
            ],
            [
              0.20978,
              0.76501,
              0.87559,
              1.00857,
              1.16674,
              1.3573,
              1.58406
            ],
            [
              0.20946,
              0.76479,
              0.87639,
              1.00765,
              1.1671,
              1.3566,
              1.5858
            ],
            [
              0.2097,
              0.766,
              0.8763,
              1.0082,
              1.1668,
              1.3567,
              1.5853
            ],
            [
              0.21,
              0.7651,
              0.8759,
              1.0079,
              1.167,
              1.3569,
              1.585
            ],
            [
              0.2127,
              0.7659,
              0.8748,
              1.0087,
              1.1668,
              1.3568,
              1.5856
            ],
            [
              0.2312,
              0.7651,
              0.8762,
              1.008,
              1.1668,
              1.3569,
              1.5858
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.11661,
              0.27523,
              0.30526,
              0.34098,
              0.38363,
              0.43455,
              0.49552
            ],
            [
              0.12027,
              0.27888,
              0.30889,
              0.34463,
              0.38727,
              0.43819,
              0.49917
            ],
            [
              0.12453,
              0.28312,
              0.31315,
              0.34889,
              0.39153,
              0.44245,
              0.50342
            ],
            [
              0.13064,
              0.28924,
              0.31927,
              0.35502,
              0.39765,
              0.44858,
              0.50953
            ],
            [
              0.1394,
              0.29803,
              0.32804,
              0.36384,
              0.40649,
              0.4574,
              0.51838
            ],
            [
              0.15205,
              0.31075,
              0.34076,
              0.37649,
              0.41923,
              0.47015,
              0.53112
            ],
            [
              0.17049,
              0.32919,
              0.35921,
              0.39495,
              0.43761,
              0.48855,
              0.54951
            ],
            [
              0.19777,
              0.35631,
              0.38638,
              0.42214,
              0.46478,
              0.5157,
              0.57668
            ],
            [
              0.23813,
              0.39654,
              0.4266,
              0.46236,
              0.50505,
              0.55601,
              0.61699
            ],
            [
              0.29444,
              0.45647,
              0.48655,
              0.52237,
              0.56509,
              0.61612,
              0.67719
            ],
            [
              0.37223,
              0.54602,
              0.57622,
              0.61202,
              0.65482,
              0.70592,
              0.76712
            ],
            [
              0.47977,
              0.67297,
              0.70587,
              0.74407,
              0.78857,
              0.84047,
              0.90167
            ],
            [
              0.6261,
              0.8488,
              0.8854,
              0.9277,
              0.9766,
              1.0334,
              1.0992
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.37625,
              0.79008,
              0.87178,
              0.9695,
              1.08667,
              1.22707,
              1.39577
            ],
            [
              0.3799,
              0.79383,
              0.87549,
              0.97329,
              1.09044,
              1.23084,
              1.39954
            ],
            [
              0.38468,
              0.79862,
              0.88032,
              0.97812,
              1.09532,
              1.23572,
              1.40442
            ],
            [
              0.39226,
              0.80632,
              0.88801,
              0.98577,
              1.10308,
              1.24348,
              1.41218
            ],
            [
              0.40383,
              0.81816,
              0.89981,
              0.99761,
              1.11491,
              1.25531,
              1.42401
            ],
            [
              0.42152,
              0.83614,
              0.91792,
              1.01572,
              1.13302,
              1.27352,
              1.44202
            ],
            [
              0.44833,
              0.86339,
              0.94523,
              1.04303,
              1.16023,
              1.30073,
              1.46943
            ],
            [
              0.48925,
              0.90456,
              0.98636,
              1.08426,
              1.20156,
              1.34206,
              1.51086
            ],
            [
              0.55085,
              0.96625,
              1.04795,
              1.14595,
              1.26315,
              1.40395,
              1.57275
            ],
            [
              0.64269,
              1.05819,
              1.14009,
              1.23809,
              1.35549,
              1.49619,
              1.66499
            ],
            [
              0.77762,
              1.19282,
              1.27472,
              1.37262,
              1.48982,
              1.63042,
              1.79952
            ],
            [
              0.97377,
              1.38917,
              1.47097,
              1.56877,
              1.68617,
              1.82687,
              1.99567
            ],
            [
              1.2598,
              1.6762,
              1.758,
              1.8557,
              1.9737,
              2.1142,
              2.2833
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.09907,
              0.28299,
              0.31988,
              0.36405,
              0.41702,
              0.4807,
              0.55747
            ],
            [
              0.09901,
              0.2832,
              0.3199,
              0.36392,
              0.41687,
              0.48073,
              0.5575
            ],
            [
              0.09897,
              0.28313,
              0.31987,
              0.36399,
              0.41689,
              0.48077,
              0.55732
            ],
            [
              0.09892,
              0.28322,
              0.31994,
              0.36403,
              0.41698,
              0.4807,
              0.55737
            ],
            [
              0.09891,
              0.28303,
              0.31994,
              0.3641,
              0.41691,
              0.48081,
              0.55729
            ],
            [
              0.09881,
              0.28319,
              0.31992,
              0.36386,
              0.41703,
              0.4807,
              0.55735
            ],
            [
              0.09823,
              0.28315,
              0.31983,
              0.36389,
              0.41698,
              0.48075,
              0.55751
            ],
            [
              0.09787,
              0.28293,
              0.31974,
              0.36384,
              0.41702,
              0.48062,
              0.55755
            ],
            [
              0.10035,
              0.28247,
              0.31938,
              0.36369,
              0.41683,
              0.48079,
              0.55726
            ],
            [
              0.10803,
              0.28398,
              0.32025,
              0.36384,
              0.41658,
              0.48054,
              0.55719
            ],
            [
              0.12021,
              0.29308,
              0.32788,
              0.3701,
              0.4213,
              0.4833,
              0.5588
            ],
            [
              0.1389,
              0.3157,
              0.349,
              0.389,
              0.4381,
              0.4978,
              0.5702
            ],
            [
              0.1682,
              0.3541,
              0.3883,
              0.4287,
              0.4763,
              0.5327,
              0.6016
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.22031,
              0.73815,
              0.8408,
              0.96418,
              1.11223,
              1.28883,
              1.50121
            ],
            [
              0.22028,
              0.73814,
              0.84123,
              0.96385,
              1.11139,
              1.28818,
              1.50118
            ],
            [
              0.22017,
              0.7382,
              0.84057,
              0.96342,
              1.11109,
              1.28718,
              1.50176
            ],
            [
              0.22029,
              0.73816,
              0.84042,
              0.96326,
              1.1126,
              1.28937,
              1.50185
            ],
            [
              0.22005,
              0.73809,
              0.84111,
              0.9635,
              1.11223,
              1.28821,
              1.50077
            ],
            [
              0.22027,
              0.73835,
              0.84058,
              0.96329,
              1.11207,
              1.28942,
              1.50127
            ],
            [
              0.22025,
              0.7381,
              0.84083,
              0.96412,
              1.11208,
              1.28885,
              1.501
            ],
            [
              0.22032,
              0.7381,
              0.84094,
              0.9632,
              1.11104,
              1.28823,
              1.50112
            ],
            [
              0.22016,
              0.73809,
              0.84055,
              0.96347,
              1.11173,
              1.2872,
              1.5015
            ],
            [
              0.22019,
              0.7381,
              0.8409,
              0.9633,
              1.1115,
              1.289,
              1.5016
            ],
            [
              0.2203,
              0.7382,
              0.8409,
              0.9634,
              1.1107,
              1.288,
              1.5009
            ],
            [
              0.222,
              0.7381,
              0.8404,
              0.9642,
              1.1121,
              1.2882,
              1.5008
            ],
            [
              0.2383,
              0.7388,
              0.8408,
              0.9652,
              1.1116,
              1.2881,
              1.5
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04993,
              0.15061,
              0.17062,
              0.1946,
              0.2232,
              0.25783,
              0.29921
            ],
            [
              0.05304,
              0.15409,
              0.17409,
              0.19803,
              0.2266,
              0.26122,
              0.30272
            ],
            [
              0.05683,
              0.1582,
              0.17817,
              0.20221,
              0.23074,
              0.26542,
              0.30688
            ],
            [
              0.06254,
              0.16428,
              0.18443,
              0.20832,
              0.23714,
              0.27166,
              0.313
            ],
            [
              0.07124,
              0.17356,
              0.19353,
              0.21767,
              0.24649,
              0.28091,
              0.32223
            ],
            [
              0.0846,
              0.18739,
              0.20754,
              0.23157,
              0.26031,
              0.29476,
              0.33643
            ],
            [
              0.10469,
              0.20814,
              0.2283,
              0.25237,
              0.28126,
              0.31582,
              0.35723
            ],
            [
              0.13103,
              0.23927,
              0.25944,
              0.2836,
              0.31241,
              0.34691,
              0.38858
            ],
            [
              0.16487,
              0.28622,
              0.30625,
              0.33043,
              0.35905,
              0.39427,
              0.43563
            ],
            [
              0.20898,
              0.35671,
              0.37714,
              0.40102,
              0.43009,
              0.465,
              0.50641
            ],
            [
              0.26576,
              0.45192,
              0.47662,
              0.50552,
              0.53692,
              0.57182,
              0.61332
            ],
            [
              0.33877,
              0.57507,
              0.60637,
              0.64127,
              0.68077,
              0.72367,
              0.77107
            ],
            [
              0.4328,
              0.7343,
              0.7746,
              0.8183,
              0.8671,
              0.9209,
              0.98
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.12616,
              0.41786,
              0.47494,
              0.54441,
              0.62753,
              0.72685,
              0.84607
            ],
            [
              0.12877,
              0.42112,
              0.47922,
              0.54854,
              0.63144,
              0.7303,
              0.85048
            ],
            [
              0.13221,
              0.42605,
              0.48353,
              0.5531,
              0.63611,
              0.73548,
              0.85482
            ],
            [
              0.13814,
              0.43273,
              0.49088,
              0.55986,
              0.64273,
              0.74291,
              0.86254
            ],
            [
              0.14799,
              0.44351,
              0.50171,
              0.5712,
              0.65378,
              0.7539,
              0.87364
            ],
            [
              0.16427,
              0.46013,
              0.51835,
              0.58782,
              0.67109,
              0.77053,
              0.89032
            ],
            [
              0.18991,
              0.48542,
              0.54314,
              0.61281,
              0.69646,
              0.79644,
              0.91593
            ],
            [
              0.22956,
              0.52375,
              0.58203,
              0.65127,
              0.73398,
              0.83403,
              0.95616
            ],
            [
              0.29063,
              0.5842,
              0.64154,
              0.71176,
              0.79435,
              0.89515,
              1.01515
            ],
            [
              0.38292,
              0.67459,
              0.73259,
              0.80159,
              0.88399,
              0.98249,
              1.10489
            ],
            [
              0.51722,
              0.81182,
              0.86972,
              0.93922,
              1.02172,
              1.12202,
              1.24042
            ],
            [
              0.70267,
              1.01887,
              1.07637,
              1.14617,
              1.22837,
              1.32827,
              1.44587
            ],
            [
              0.9611,
              1.3309,
              1.3886,
              1.4584,
              1.5403,
              1.6389,
              1.759
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03737,
              0.16678,
              0.19254,
              0.22367,
              0.2606,
              0.30531,
              0.3592
            ],
            [
              0.03735,
              0.16703,
              0.19284,
              0.22367,
              0.26063,
              0.3053,
              0.35895
            ],
            [
              0.03737,
              0.16682,
              0.19253,
              0.22367,
              0.26061,
              0.3053,
              0.35914
            ],
            [
              0.03738,
              0.16676,
              0.19271,
              0.22352,
              0.2609,
              0.3055,
              0.35904
            ],
            [
              0.03736,
              0.1668,
              0.19257,
              0.22371,
              0.26071,
              0.3055,
              0.35877
            ],
            [
              0.03794,
              0.16667,
              0.19257,
              0.22373,
              0.26086,
              0.30519,
              0.35888
            ],
            [
              0.04224,
              0.16678,
              0.19275,
              0.22367,
              0.26073,
              0.30552,
              0.35911
            ],
            [
              0.05219,
              0.16692,
              0.19266,
              0.22362,
              0.26071,
              0.30515,
              0.35922
            ],
            [
              0.06603,
              0.17235,
              0.19619,
              0.22528,
              0.26098,
              0.30543,
              0.35884
            ],
            [
              0.08481,
              0.18969,
              0.21081,
              0.23731,
              0.27019,
              0.31072,
              0.36163
            ],
            [
              0.11098,
              0.22763,
              0.24594,
              0.26779,
              0.29641,
              0.33305,
              0.37853
            ],
            [
              0.1473,
              0.2851,
              0.3056,
              0.3287,
              0.3542,
              0.3847,
              0.4238
            ],
            [
              0.1978,
              0.3634,
              0.3867,
              0.4138,
              0.4434,
              0.4769,
              0.515
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.10401,
              0.47375,
              0.5469,
              0.63561,
              0.74202,
              0.86941,
              1.02143
            ],
            [
              0.10391,
              0.47338,
              0.54745,
              0.63587,
              0.74184,
              0.86906,
              1.02201
            ],
            [
              0.10397,
              0.47318,
              0.54604,
              0.63467,
              0.74031,
              0.86618,
              1.02069
            ],
            [
              0.10391,
              0.47314,
              0.5461,
              0.6338,
              0.7398,
              0.86633,
              1.02002
            ],
            [
              0.10391,
              0.47299,
              0.54651,
              0.6346,
              0.73982,
              0.86653,
              1.02028
            ],
            [
              0.1037,
              0.47319,
              0.54629,
              0.63453,
              0.74051,
              0.8679,
              1.01947
            ],
            [
              0.1036,
              0.47326,
              0.54648,
              0.63412,
              0.73987,
              0.86711,
              1.02058
            ],
            [
              0.10354,
              0.47296,
              0.54635,
              0.63467,
              0.73991,
              0.86686,
              1.02245
            ],
            [
              0.10368,
              0.47342,
              0.5471,
              0.63441,
              0.7405,
              0.86733,
              1.01936
            ],
            [
              0.11211,
              0.47314,
              0.54619,
              0.63474,
              0.74009,
              0.86691,
              1.02019
            ],
            [
              0.13515,
              0.4733,
              0.5474,
              0.6352,
              0.7403,
              0.8673,
              1.0195
            ],
            [
              0.1761,
              0.4764,
              0.5472,
              0.6349,
              0.7401,
              0.8673,
              1.0197
            ],
            [
              0.2312,
              0.5042,
              0.5677,
              0.6472,
              0.7458,
              0.8675,
              1.022
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04995,
              0.15052,
              0.17048,
              0.19455,
              0.22335,
              0.25774,
              0.29921
            ],
            [
              0.05308,
              0.15417,
              0.17413,
              0.19793,
              0.22686,
              0.26112,
              0.30273
            ],
            [
              0.05687,
              0.15821,
              0.1783,
              0.20211,
              0.231,
              0.26543,
              0.30681
            ],
            [
              0.06265,
              0.16448,
              0.18443,
              0.20844,
              0.23708,
              0.27174,
              0.31317
            ],
            [
              0.0714,
              0.17367,
              0.1938,
              0.21783,
              0.24662,
              0.28107,
              0.32259
            ],
            [
              0.0847,
              0.18766,
              0.20777,
              0.23176,
              0.2604,
              0.29513,
              0.33664
            ],
            [
              0.10486,
              0.20846,
              0.22849,
              0.2526,
              0.28152,
              0.31608,
              0.35751
            ],
            [
              0.13133,
              0.23964,
              0.25966,
              0.28387,
              0.3128,
              0.34735,
              0.38902
            ],
            [
              0.16529,
              0.28662,
              0.30654,
              0.33096,
              0.35969,
              0.39444,
              0.43575
            ],
            [
              0.20927,
              0.35737,
              0.37789,
              0.40189,
              0.43065,
              0.4649,
              0.50688
            ],
            [
              0.26592,
              0.45212,
              0.47772,
              0.50572,
              0.53662,
              0.57212,
              0.61342
            ],
            [
              0.33927,
              0.57557,
              0.60687,
              0.64197,
              0.68057,
              0.72407,
              0.77147
            ],
            [
              0.4332,
              0.7349,
              0.7751,
              0.8187,
              0.8672,
              0.9213,
              0.9804
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.14272,
              0.4802,
              0.5469,
              0.62679,
              0.72306,
              0.83832,
              0.97644
            ],
            [
              0.14486,
              0.48383,
              0.55047,
              0.63095,
              0.72707,
              0.84227,
              0.98038
            ],
            [
              0.14783,
              0.48791,
              0.55499,
              0.63545,
              0.73159,
              0.84635,
              0.98532
            ],
            [
              0.15318,
              0.495,
              0.56176,
              0.64177,
              0.73838,
              0.85391,
              0.99228
            ],
            [
              0.16248,
              0.50513,
              0.57223,
              0.65238,
              0.74915,
              0.8642,
              1.00341
            ],
            [
              0.17797,
              0.52104,
              0.58809,
              0.66874,
              0.76543,
              0.88083,
              1.01952
            ],
            [
              0.20271,
              0.54563,
              0.613,
              0.69335,
              0.79018,
              0.90613,
              1.04483
            ],
            [
              0.24173,
              0.58356,
              0.65099,
              0.73118,
              0.82768,
              0.94386,
              1.08306
            ],
            [
              0.30196,
              0.64158,
              0.70894,
              0.78885,
              0.88685,
              1.00315,
              1.14245
            ],
            [
              0.39318,
              0.73069,
              0.79769,
              0.87689,
              0.97429,
              1.09079,
              1.23069
            ],
            [
              0.52862,
              0.86642,
              0.93322,
              1.01222,
              1.11022,
              1.22552,
              1.36332
            ],
            [
              0.71597,
              1.07097,
              1.13707,
              1.21777,
              1.31407,
              1.42917,
              1.56607
            ],
            [
              0.9764,
              1.3792,
              1.446,
              1.5258,
              1.6222,
              1.7364,
              1.872
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03733,
              0.16671,
              0.19254,
              0.22363,
              0.26109,
              0.30533,
              0.35889
            ],
            [
              0.03734,
              0.16688,
              0.19272,
              0.22349,
              0.2609,
              0.3052,
              0.35895
            ],
            [
              0.03732,
              0.16669,
              0.19271,
              0.22353,
              0.26111,
              0.3054,
              0.35885
            ],
            [
              0.03737,
              0.16685,
              0.19251,
              0.22368,
              0.26063,
              0.30533,
              0.35913
            ],
            [
              0.03733,
              0.1667,
              0.19294,
              0.2237,
              0.26081,
              0.30532,
              0.35917
            ],
            [
              0.03791,
              0.16708,
              0.19269,
              0.2237,
              0.26064,
              0.30533,
              0.35914
            ],
            [
              0.04215,
              0.16683,
              0.19256,
              0.22347,
              0.26073,
              0.3055,
              0.35914
            ],
            [
              0.05201,
              0.16691,
              0.19247,
              0.22347,
              0.2608,
              0.30521,
              0.35898
            ],
            [
              0.06563,
              0.17227,
              0.1961,
              0.22516,
              0.26092,
              0.30532,
              0.35877
            ],
            [
              0.08457,
              0.18933,
              0.21048,
              0.23695,
              0.26957,
              0.31077,
              0.36103
            ],
            [
              0.11083,
              0.22745,
              0.24508,
              0.26764,
              0.29667,
              0.33285,
              0.37848
            ],
            [
              0.1469,
              0.2847,
              0.3052,
              0.3281,
              0.3543,
              0.3843,
              0.4235
            ],
            [
              0.1973,
              0.3628,
              0.3861,
              0.4134,
              0.4432,
              0.4765,
              0.5147
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.12012,
              0.54476,
              0.62961,
              0.73047,
              0.8519,
              0.99993,
              1.17703
            ],
            [
              0.11998,
              0.54471,
              0.62923,
              0.73151,
              0.85382,
              0.99978,
              1.17496
            ],
            [
              0.11996,
              0.54613,
              0.63026,
              0.73169,
              0.85398,
              0.99932,
              1.17612
            ],
            [
              0.12004,
              0.54578,
              0.62952,
              0.73125,
              0.85347,
              1.0004,
              1.17653
            ],
            [
              0.11993,
              0.54484,
              0.62978,
              0.73146,
              0.85386,
              0.99906,
              1.17556
            ],
            [
              0.11977,
              0.54468,
              0.62974,
              0.73187,
              0.85353,
              1.00039,
              1.17675
            ],
            [
              0.11949,
              0.54474,
              0.62928,
              0.73113,
              0.85356,
              0.99978,
              1.17611
            ],
            [
              0.11892,
              0.54599,
              0.63092,
              0.73202,
              0.85264,
              1.00025,
              1.17558
            ],
            [
              0.11823,
              0.54539,
              0.62931,
              0.73293,
              0.85345,
              0.99984,
              1.17639
            ],
            [
              0.12457,
              0.54428,
              0.62994,
              0.73184,
              0.85415,
              0.99895,
              1.1755
            ],
            [
              0.1449,
              0.5456,
              0.6298,
              0.7316,
              0.8543,
              0.9998,
              1.1756
            ],
            [
              0.1861,
              0.5459,
              0.63,
              0.7326,
              0.853,
              0.9994,
              1.1757
            ],
            [
              0.2421,
              0.5671,
              0.6432,
              0.738,
              0.8557,
              1.0006,
              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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04994,
              0.15075,
              0.17048,
              0.19454,
              0.22334,
              0.25776,
              0.29918
            ],
            [
              0.05306,
              0.15417,
              0.17406,
              0.19811,
              0.22674,
              0.26122,
              0.30262
            ],
            [
              0.05688,
              0.15813,
              0.17826,
              0.20212,
              0.231,
              0.26543,
              0.30681
            ],
            [
              0.06263,
              0.1644,
              0.18449,
              0.20847,
              0.23719,
              0.27174,
              0.31293
            ],
            [
              0.07138,
              0.17364,
              0.19378,
              0.21782,
              0.24643,
              0.281,
              0.32259
            ],
            [
              0.08472,
              0.18763,
              0.20774,
              0.23175,
              0.26041,
              0.29502,
              0.33663
            ],
            [
              0.10482,
              0.20842,
              0.22845,
              0.25256,
              0.28148,
              0.31604,
              0.35747
            ],
            [
              0.13128,
              0.23955,
              0.25964,
              0.28389,
              0.31275,
              0.34731,
              0.38897
            ],
            [
              0.16524,
              0.28655,
              0.30652,
              0.33088,
              0.35961,
              0.39434,
              0.43555
            ],
            [
              0.2092,
              0.35729,
              0.37782,
              0.4018,
              0.43029,
              0.46483,
              0.50678
            ],
            [
              0.26583,
              0.45232,
              0.47732,
              0.50562,
              0.53652,
              0.57192,
              0.61312
            ],
            [
              0.33917,
              0.57547,
              0.60697,
              0.64187,
              0.68097,
              0.72397,
              0.77137
            ],
            [
              0.4332,
              0.7347,
              0.775,
              0.8186,
              0.8672,
              0.9212,
              0.9803
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.13932,
              0.46642,
              0.53112,
              0.60884,
              0.70184,
              0.81356,
              0.94779
            ],
            [
              0.14159,
              0.47012,
              0.53507,
              0.61234,
              0.70554,
              0.81747,
              0.95155
            ],
            [
              0.14466,
              0.4744,
              0.53923,
              0.61685,
              0.7103,
              0.82194,
              0.95622
            ],
            [
              0.15015,
              0.48091,
              0.54609,
              0.62399,
              0.71695,
              0.8292,
              0.9634
            ],
            [
              0.15959,
              0.49172,
              0.55646,
              0.63467,
              0.72798,
              0.8398,
              0.97411
            ],
            [
              0.17521,
              0.50736,
              0.57275,
              0.65057,
              0.74432,
              0.85632,
              0.99032
            ],
            [
              0.20031,
              0.53205,
              0.59767,
              0.67577,
              0.76891,
              0.88155,
              1.01563
            ],
            [
              0.23925,
              0.57041,
              0.63532,
              0.71326,
              0.80714,
              0.91946,
              1.05366
            ],
            [
              0.2997,
              0.62886,
              0.69399,
              0.77165,
              0.86605,
              0.97905,
              1.11405
            ],
            [
              0.39112,
              0.71879,
              0.78299,
              0.86079,
              0.95419,
              1.06749,
              1.20219
            ],
            [
              0.52632,
              0.85442,
              0.91942,
              0.99552,
              1.09072,
              1.20232,
              1.33562
            ],
            [
              0.71327,
              1.05957,
              1.12397,
              1.20187,
              1.29547,
              1.40657,
              1.53877
            ],
            [
              0.9732,
              1.3685,
              1.4332,
              1.5109,
              1.6036,
              1.7148,
              1.8487
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03734,
              0.16703,
              0.19254,
              0.22361,
              0.26113,
              0.30536,
              0.35887
            ],
            [
              0.03733,
              0.16686,
              0.19261,
              0.22385,
              0.26071,
              0.30537,
              0.35886
            ],
            [
              0.03735,
              0.16672,
              0.1927,
              0.22345,
              0.26089,
              0.3054,
              0.35886
            ],
            [
              0.03736,
              0.16702,
              0.19271,
              0.22388,
              0.26071,
              0.30553,
              0.35877
            ],
            [
              0.03736,
              0.16671,
              0.19255,
              0.2237,
              0.26067,
              0.30526,
              0.35894
            ],
            [
              0.03792,
              0.16671,
              0.19259,
              0.22371,
              0.26068,
              0.30527,
              0.35894
            ],
            [
              0.04216,
              0.16684,
              0.19256,
              0.22347,
              0.26073,
              0.30551,
              0.35916
            ],
            [
              0.05204,
              0.16693,
              0.19251,
              0.22367,
              0.2608,
              0.30522,
              0.35898
            ],
            [
              0.06567,
              0.17234,
              0.19614,
              0.22517,
              0.26095,
              0.30533,
              0.35873
            ],
            [
              0.08462,
              0.18936,
              0.21051,
              0.23699,
              0.2697,
              0.31078,
              0.36164
            ],
            [
              0.1109,
              0.22736,
              0.24545,
              0.26764,
              0.29678,
              0.3327,
              0.37851
            ],
            [
              0.1469,
              0.2847,
              0.305,
              0.3282,
              0.354,
              0.3843,
              0.4235
            ],
            [
              0.1974,
              0.363,
              0.3863,
              0.4134,
              0.4433,
              0.4766,
              0.5148
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.11645,
              0.52775,
              0.60981,
              0.7084,
              0.82625,
              0.96819,
              1.13801
            ],
            [
              0.11627,
              0.52874,
              0.61135,
              0.70908,
              0.82644,
              0.9698,
              1.14055
            ],
            [
              0.11631,
              0.52875,
              0.61047,
              0.70866,
              0.8278,
              0.97007,
              1.14058
            ],
            [
              0.11627,
              0.52902,
              0.61083,
              0.70984,
              0.82775,
              0.96967,
              1.14056
            ],
            [
              0.11634,
              0.52844,
              0.61047,
              0.70951,
              0.82785,
              0.9702,
              1.14006
            ],
            [
              0.11618,
              0.52862,
              0.61043,
              0.70946,
              0.82773,
              0.96973,
              1.13972
            ],
            [
              0.11604,
              0.52863,
              0.61167,
              0.70868,
              0.82736,
              0.96963,
              1.13954
            ],
            [
              0.11547,
              0.52851,
              0.61235,
              0.70951,
              0.82794,
              0.9704,
              1.1398
            ],
            [
              0.11493,
              0.52928,
              0.61121,
              0.70869,
              0.82754,
              0.96962,
              1.14048
            ],
            [
              0.12187,
              0.5295,
              0.61093,
              0.70919,
              0.82798,
              0.97009,
              1.1414
            ],
            [
              0.1427,
              0.5292,
              0.6118,
              0.7094,
              0.8282,
              0.9688,
              1.1402
            ],
            [
              0.1839,
              0.5303,
              0.6109,
              0.7104,
              0.8295,
              0.9712,
              1.1398
            ],
            [
              0.2397,
              0.5526,
              0.626,
              0.7167,
              0.8307,
              0.9707,
              1.1393
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05003,
              0.15057,
              0.17067,
              0.19458,
              0.22337,
              0.2577,
              0.2995
            ],
            [
              0.05317,
              0.15414,
              0.17406,
              0.19823,
              0.22681,
              0.26135,
              0.3028
            ],
            [
              0.05701,
              0.15827,
              0.17816,
              0.20215,
              0.23087,
              0.2653,
              0.307
            ],
            [
              0.06277,
              0.16457,
              0.18446,
              0.2086,
              0.23733,
              0.27177,
              0.31337
            ],
            [
              0.0716,
              0.174,
              0.194,
              0.21797,
              0.24682,
              0.28121,
              0.32266
            ],
            [
              0.08501,
              0.18796,
              0.20799,
              0.2319,
              0.26092,
              0.2954,
              0.33674
            ],
            [
              0.10525,
              0.20885,
              0.22886,
              0.25306,
              0.28194,
              0.31639,
              0.35794
            ],
            [
              0.13184,
              0.24027,
              0.26033,
              0.28455,
              0.31337,
              0.34799,
              0.38962
            ],
            [
              0.16607,
              0.28735,
              0.30748,
              0.33173,
              0.36043,
              0.39522,
              0.43662
            ],
            [
              0.21003,
              0.35816,
              0.37864,
              0.40254,
              0.43136,
              0.46615,
              0.50755
            ],
            [
              0.26685,
              0.45332,
              0.47852,
              0.50672,
              0.53812,
              0.57302,
              0.61382
            ],
            [
              0.33997,
              0.57617,
              0.60767,
              0.64327,
              0.68187,
              0.72457,
              0.77227
            ],
            [
              0.4338,
              0.7359,
              0.776,
              0.8203,
              0.8688,
              0.9219,
              0.9811
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.18451,
              0.64716,
              0.73871,
              0.84801,
              0.97969,
              1.13797,
              1.32797
            ],
            [
              0.18578,
              0.65049,
              0.7421,
              0.85171,
              0.98371,
              1.14174,
              1.33054
            ],
            [
              0.18762,
              0.65416,
              0.74612,
              0.85555,
              0.98722,
              1.14592,
              1.33582
            ],
            [
              0.19176,
              0.66012,
              0.75196,
              0.86208,
              0.99387,
              1.15208,
              1.34248
            ],
            [
              0.19933,
              0.66956,
              0.76125,
              0.87108,
              1.00381,
              1.16211,
              1.35131
            ],
            [
              0.21315,
              0.68391,
              0.77624,
              0.88608,
              1.01852,
              1.17742,
              1.36782
            ],
            [
              0.23607,
              0.70696,
              0.79916,
              0.90953,
              1.04223,
              1.20033,
              1.39153
            ],
            [
              0.27322,
              0.74252,
              0.83475,
              0.94486,
              1.07796,
              1.23716,
              1.42766
            ],
            [
              0.33134,
              0.79815,
              0.89075,
              1.00075,
              1.13425,
              1.29305,
              1.48415
            ],
            [
              0.42009,
              0.88279,
              0.97569,
              1.08469,
              1.21919,
              1.37829,
              1.56979
            ],
            [
              0.55602,
              1.01292,
              1.10692,
              1.21572,
              1.34772,
              1.50842,
              1.69942
            ],
            [
              0.74797,
              1.21307,
              1.30507,
              1.41447,
              1.54767,
              1.70567,
              1.89637
            ],
            [
              1.0136,
              1.5133,
              1.6038,
              1.7144,
              1.8462,
              2.003,
              2.1901
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03728,
              0.16673,
              0.19263,
              0.22365,
              0.26067,
              0.30516,
              0.35918
            ],
            [
              0.03728,
              0.1668,
              0.19258,
              0.22351,
              0.26078,
              0.30525,
              0.35919
            ],
            [
              0.0373,
              0.16668,
              0.19248,
              0.22367,
              0.26073,
              0.30514,
              0.35916
            ],
            [
              0.0373,
              0.1668,
              0.19254,
              0.22351,
              0.26094,
              0.3052,
              0.35917
            ],
            [
              0.03731,
              0.16702,
              0.19272,
              0.22348,
              0.26089,
              0.3054,
              0.35884
            ],
            [
              0.03781,
              0.16672,
              0.19248,
              0.22351,
              0.26079,
              0.30546,
              0.3588
            ],
            [
              0.04194,
              0.16681,
              0.1925,
              0.22349,
              0.26089,
              0.30538,
              0.35883
            ],
            [
              0.05167,
              0.16687,
              0.19245,
              0.22361,
              0.26076,
              0.30524,
              0.35919
            ],
            [
              0.06509,
              0.17205,
              0.19594,
              0.22505,
              0.26088,
              0.30544,
              0.35875
            ],
            [
              0.08404,
              0.18882,
              0.21011,
              0.23657,
              0.26932,
              0.31048,
              0.36094
            ],
            [
              0.11001,
              0.22647,
              0.24441,
              0.26694,
              0.29565,
              0.33242,
              0.37826
            ],
            [
              0.1461,
              0.2841,
              0.3045,
              0.327,
              0.3532,
              0.3839,
              0.4229
            ],
            [
              0.1967,
              0.3619,
              0.3854,
              0.4116,
              0.4418,
              0.4759,
              0.5141
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.16362,
              0.74106,
              0.85613,
              0.99465,
              1.15966,
              1.35727,
              1.59462
            ],
            [
              0.16405,
              0.74101,
              0.85755,
              0.99385,
              1.15883,
              1.3565,
              1.59609
            ],
            [
              0.16337,
              0.74159,
              0.85589,
              0.99463,
              1.16111,
              1.35655,
              1.59463
            ],
            [
              0.16315,
              0.74112,
              0.85597,
              0.99352,
              1.15925,
              1.35971,
              1.59471
            ],
            [
              0.16284,
              0.7415,
              0.85785,
              0.99656,
              1.15888,
              1.35652,
              1.59612
            ],
            [
              0.1625,
              0.74106,
              0.85617,
              0.99491,
              1.15939,
              1.35684,
              1.59457
            ],
            [
              0.16176,
              0.74245,
              0.85603,
              0.99576,
              1.15865,
              1.35783,
              1.5985
            ],
            [
              0.16079,
              0.7414,
              0.85666,
              0.99398,
              1.15907,
              1.3566,
              1.59474
            ],
            [
              0.15916,
              0.7423,
              0.85757,
              0.99353,
              1.15938,
              1.35819,
              1.59819
            ],
            [
              0.16032,
              0.74107,
              0.85603,
              0.99372,
              1.1599,
              1.3575,
              1.5946
            ],
            [
              0.1742,
              0.742,
              0.856,
              0.9938,
              1.1621,
              1.3568,
              1.5946
            ],
            [
              0.2117,
              0.7409,
              0.8571,
              0.9958,
              1.1616,
              1.3567,
              1.5948
            ],
            [
              0.2702,
              0.7456,
              0.8561,
              0.9916,
              1.1589,
              1.3573,
              1.5968
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05004,
              0.15069,
              0.17059,
              0.19452,
              0.22351,
              0.25772,
              0.29939
            ],
            [
              0.05318,
              0.1541,
              0.17413,
              0.19802,
              0.22704,
              0.26118,
              0.30278
            ],
            [
              0.05697,
              0.15826,
              0.17826,
              0.20224,
              0.23103,
              0.26571,
              0.30677
            ],
            [
              0.06274,
              0.16459,
              0.18446,
              0.20841,
              0.23725,
              0.27196,
              0.31334
            ],
            [
              0.07147,
              0.17378,
              0.19395,
              0.21775,
              0.24667,
              0.28134,
              0.32282
            ],
            [
              0.08481,
              0.18767,
              0.20772,
              0.23173,
              0.26057,
              0.2951,
              0.33687
            ],
            [
              0.10499,
              0.20846,
              0.22857,
              0.2527,
              0.28169,
              0.31628,
              0.35746
            ],
            [
              0.13146,
              0.23963,
              0.25979,
              0.28407,
              0.31278,
              0.34744,
              0.38922
            ],
            [
              0.1653,
              0.28664,
              0.30665,
              0.33104,
              0.3598,
              0.39457,
              0.43586
            ],
            [
              0.20945,
              0.35747,
              0.378,
              0.40199,
              0.43071,
              0.46486,
              0.50687
            ],
            [
              0.26617,
              0.45222,
              0.47782,
              0.50582,
              0.53672,
              0.57222,
              0.61342
            ],
            [
              0.33957,
              0.57567,
              0.60727,
              0.64207,
              0.68067,
              0.72417,
              0.77157
            ],
            [
              0.4336,
              0.735,
              0.7753,
              0.8188,
              0.8674,
              0.9214,
              0.9805
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.18099,
              0.51538,
              0.58146,
              0.66062,
              0.75553,
              0.86949,
              1.00627
            ],
            [
              0.18381,
              0.51911,
              0.58528,
              0.66449,
              0.75941,
              0.87327,
              1.01014
            ],
            [
              0.18738,
              0.52347,
              0.58969,
              0.66894,
              0.76397,
              0.87787,
              1.01482
            ],
            [
              0.19304,
              0.53019,
              0.59647,
              0.67583,
              0.77112,
              0.88501,
              1.02198
            ],
            [
              0.20251,
              0.5407,
              0.60714,
              0.68656,
              0.78171,
              0.89585,
              1.03281
            ],
            [
              0.21795,
              0.55677,
              0.62334,
              0.70292,
              0.7981,
              0.91243,
              1.04962
            ],
            [
              0.24227,
              0.58141,
              0.64816,
              0.72788,
              0.82331,
              0.93753,
              1.07463
            ],
            [
              0.2808,
              0.61934,
              0.68575,
              0.76551,
              0.86106,
              0.97556,
              1.11386
            ],
            [
              0.34052,
              0.67761,
              0.74406,
              0.82305,
              0.92035,
              1.03495,
              1.17265
            ],
            [
              0.43137,
              0.76679,
              0.83189,
              0.91099,
              1.00719,
              1.12329,
              1.26089
            ],
            [
              0.56882,
              0.90262,
              0.96812,
              1.04832,
              1.14402,
              1.25782,
              1.39242
            ],
            [
              0.76887,
              1.10727,
              1.17357,
              1.25297,
              1.34837,
              1.46137,
              1.59887
            ],
            [
              1.0455,
              1.4165,
              1.4825,
              1.5613,
              1.6562,
              1.7686,
              1.9068
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04621,
              0.17778,
              0.20362,
              0.23449,
              0.27162,
              0.31607,
              0.36969
            ],
            [
              0.04621,
              0.17774,
              0.20364,
              0.23454,
              0.2717,
              0.31607,
              0.36956
            ],
            [
              0.04623,
              0.17775,
              0.20367,
              0.23462,
              0.27159,
              0.31614,
              0.36945
            ],
            [
              0.04624,
              0.1778,
              0.20366,
              0.23456,
              0.27168,
              0.31612,
              0.36951
            ],
            [
              0.04624,
              0.17776,
              0.2037,
              0.23455,
              0.27168,
              0.31611,
              0.36956
            ],
            [
              0.04683,
              0.17782,
              0.20364,
              0.23456,
              0.27156,
              0.31616,
              0.36954
            ],
            [
              0.0511,
              0.17774,
              0.20359,
              0.2346,
              0.27174,
              0.31609,
              0.3694
            ],
            [
              0.06214,
              0.17786,
              0.20367,
              0.2346,
              0.27159,
              0.31604,
              0.36958
            ],
            [
              0.07889,
              0.18316,
              0.20693,
              0.23614,
              0.272,
              0.31601,
              0.36954
            ],
            [
              0.10177,
              0.20042,
              0.22147,
              0.24784,
              0.28054,
              0.32145,
              0.37191
            ],
            [
              0.13342,
              0.23859,
              0.25629,
              0.27894,
              0.30767,
              0.34346,
              0.3892
            ],
            [
              0.1766,
              0.2981,
              0.3176,
              0.3399,
              0.3653,
              0.3954,
              0.4348
            ],
            [
              0.2367,
              0.3795,
              0.4016,
              0.4276,
              0.4563,
              0.4887,
              0.526
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.14066,
              0.56186,
              0.64587,
              0.74659,
              0.86733,
              1.01144,
              1.18523
            ],
            [
              0.14067,
              0.56163,
              0.64558,
              0.74601,
              0.86728,
              1.01184,
              1.18572
            ],
            [
              0.14067,
              0.56184,
              0.64586,
              0.7466,
              0.86702,
              1.01203,
              1.18511
            ],
            [
              0.14071,
              0.56187,
              0.64588,
              0.74661,
              0.8673,
              1.01206,
              1.18585
            ],
            [
              0.14073,
              0.56188,
              0.64593,
              0.74617,
              0.86655,
              1.0115,
              1.18543
            ],
            [
              0.14064,
              0.56209,
              0.6459,
              0.74596,
              0.86726,
              1.01196,
              1.18562
            ],
            [
              0.14055,
              0.56207,
              0.64567,
              0.74633,
              0.86731,
              1.01207,
              1.18521
            ],
            [
              0.14036,
              0.56177,
              0.64568,
              0.74646,
              0.86728,
              1.01195,
              1.18589
            ],
            [
              0.13997,
              0.5622,
              0.6458,
              0.74655,
              0.86731,
              1.01211,
              1.1859
            ],
            [
              0.14034,
              0.56184,
              0.64588,
              0.74645,
              0.86723,
              1.0119,
              1.1862
            ],
            [
              0.1524,
              0.562,
              0.646,
              0.7467,
              0.8672,
              1.0119,
              1.1861
            ],
            [
              0.1862,
              0.5618,
              0.6457,
              0.7465,
              0.8674,
              1.0121,
              1.1861
            ],
            [
              0.2406,
              0.5774,
              0.6543,
              0.7498,
              0.8669,
              1.012,
              1.1857
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05012,
              0.1507,
              0.17065,
              0.19454,
              0.22341,
              0.25781,
              0.29969
            ],
            [
              0.05326,
              0.15417,
              0.1742,
              0.19808,
              0.22685,
              0.26148,
              0.30266
            ],
            [
              0.0571,
              0.1583,
              0.17831,
              0.20223,
              0.231,
              0.26541,
              0.3072
            ],
            [
              0.06289,
              0.16459,
              0.1846,
              0.20852,
              0.23728,
              0.27187,
              0.31359
            ],
            [
              0.07173,
              0.17392,
              0.19397,
              0.21808,
              0.24671,
              0.28122,
              0.32267
            ],
            [
              0.08515,
              0.18794,
              0.20802,
              0.23211,
              0.26116,
              0.29534,
              0.33689
            ],
            [
              0.1054,
              0.20891,
              0.22902,
              0.25321,
              0.28216,
              0.31641,
              0.35804
            ],
            [
              0.13201,
              0.24031,
              0.26048,
              0.28475,
              0.3134,
              0.34811,
              0.38985
            ],
            [
              0.16621,
              0.28743,
              0.30763,
              0.33185,
              0.36062,
              0.39542,
              0.43679
            ],
            [
              0.2103,
              0.35834,
              0.37882,
              0.40278,
              0.43149,
              0.46618,
              0.50765
            ],
            [
              0.26718,
              0.45352,
              0.47872,
              0.50692,
              0.53832,
              0.57322,
              0.61402
            ],
            [
              0.34037,
              0.57647,
              0.60787,
              0.64347,
              0.68217,
              0.72477,
              0.77237
            ],
            [
              0.4343,
              0.7362,
              0.776,
              0.8205,
              0.869,
              0.9221,
              0.9813
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.24251,
              0.71058,
              0.80318,
              0.91407,
              1.04707,
              1.20657,
              1.39827
            ],
            [
              0.24465,
              0.71407,
              0.80673,
              0.91768,
              1.05074,
              1.21024,
              1.40194
            ],
            [
              0.24739,
              0.7179,
              0.81066,
              0.92174,
              1.05482,
              1.21442,
              1.40622
            ],
            [
              0.25178,
              0.72384,
              0.81668,
              0.92788,
              1.06137,
              1.22098,
              1.41278
            ],
            [
              0.25968,
              0.73327,
              0.82635,
              0.93762,
              1.07101,
              1.23071,
              1.42271
            ],
            [
              0.27326,
              0.74787,
              0.84111,
              0.95252,
              1.08622,
              1.24612,
              1.43822
            ],
            [
              0.29538,
              0.77069,
              0.86421,
              0.97583,
              1.10963,
              1.26973,
              1.46233
            ],
            [
              0.33164,
              0.80628,
              0.89986,
              1.01166,
              1.14566,
              1.30606,
              1.49906
            ],
            [
              0.38858,
              0.86205,
              0.95525,
              1.06795,
              1.20195,
              1.36245,
              1.55535
            ],
            [
              0.47671,
              0.94709,
              1.03949,
              1.15289,
              1.28699,
              1.44759,
              1.64039
            ],
            [
              0.61012,
              1.07662,
              1.16992,
              1.28152,
              1.41722,
              1.57662,
              1.77022
            ],
            [
              0.81267,
              1.27677,
              1.36867,
              1.48137,
              1.61487,
              1.77347,
              1.96727
            ],
            [
              1.0966,
              1.5761,
              1.6695,
              1.7808,
              1.9136,
              2.0715,
              2.2643
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04613,
              0.17772,
              0.20359,
              0.23447,
              0.27159,
              0.31604,
              0.36957
            ],
            [
              0.04615,
              0.17771,
              0.20363,
              0.23445,
              0.27158,
              0.31608,
              0.36946
            ],
            [
              0.04616,
              0.1777,
              0.20363,
              0.23442,
              0.27154,
              0.31602,
              0.36958
            ],
            [
              0.04617,
              0.17775,
              0.20357,
              0.23447,
              0.27157,
              0.31602,
              0.36959
            ],
            [
              0.04619,
              0.17779,
              0.20363,
              0.23458,
              0.27152,
              0.31604,
              0.36947
            ],
            [
              0.04673,
              0.17778,
              0.20363,
              0.2345,
              0.27159,
              0.31605,
              0.36956
            ],
            [
              0.05086,
              0.17774,
              0.20367,
              0.23458,
              0.27167,
              0.31605,
              0.36956
            ],
            [
              0.06174,
              0.17784,
              0.20367,
              0.23463,
              0.27148,
              0.31603,
              0.36968
            ],
            [
              0.07817,
              0.18293,
              0.20674,
              0.23604,
              0.27185,
              0.31601,
              0.36953
            ],
            [
              0.10102,
              0.19988,
              0.22102,
              0.24751,
              0.2803,
              0.32112,
              0.37164
            ],
            [
              0.13245,
              0.23754,
              0.25557,
              0.27809,
              0.30664,
              0.34289,
              0.38886
            ],
            [
              0.1758,
              0.2974,
              0.3171,
              0.3386,
              0.364,
              0.395,
              0.434
            ],
            [
              0.2359,
              0.3783,
              0.4009,
              0.4259,
              0.455,
              0.4881,
              0.5253
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.19669,
              0.78137,
              0.8977,
              1.03713,
              1.20375,
              1.40464,
              1.64565
            ],
            [
              0.19679,
              0.78137,
              0.89774,
              1.03722,
              1.20425,
              1.40491,
              1.64554
            ],
            [
              0.19643,
              0.7813,
              0.89753,
              1.03629,
              1.20392,
              1.40394,
              1.64533
            ],
            [
              0.19672,
              0.78151,
              0.89781,
              1.03714,
              1.20429,
              1.40433,
              1.64575
            ],
            [
              0.1965,
              0.78133,
              0.89767,
              1.0363,
              1.20435,
              1.40393,
              1.64568
            ],
            [
              0.19637,
              0.78135,
              0.89775,
              1.03713,
              1.20356,
              1.40491,
              1.64542
            ],
            [
              0.19614,
              0.78126,
              0.89785,
              1.03709,
              1.20447,
              1.40476,
              1.6455
            ],
            [
              0.19577,
              0.78139,
              0.8978,
              1.0372,
              1.20394,
              1.40455,
              1.64558
            ],
            [
              0.19491,
              0.78141,
              0.89781,
              1.03718,
              1.20443,
              1.40482,
              1.64613
            ],
            [
              0.19303,
              0.78151,
              0.89786,
              1.0373,
              1.2045,
              1.4049,
              1.6456
            ],
            [
              0.1971,
              0.7814,
              0.8979,
              1.0373,
              1.2043,
              1.4047,
              1.646
            ],
            [
              0.2206,
              0.7811,
              0.8974,
              1.0373,
              1.2045,
              1.4049,
              1.6463
            ],
            [
              0.2755,
              0.7826,
              0.8964,
              1.0364,
              1.2043,
              1.4039,
              1.6461
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.0501,
              0.15073,
              0.17066,
              0.19455,
              0.22346,
              0.25782,
              0.29916
            ],
            [
              0.05325,
              0.15417,
              0.17421,
              0.19843,
              0.22685,
              0.26158,
              0.30286
            ],
            [
              0.05709,
              0.1583,
              0.17831,
              0.20223,
              0.231,
              0.2654,
              0.30722
            ],
            [
              0.06287,
              0.16457,
              0.1846,
              0.20852,
              0.23728,
              0.27171,
              0.3136
            ],
            [
              0.0717,
              0.17391,
              0.19396,
              0.21797,
              0.24695,
              0.28132,
              0.32266
            ],
            [
              0.08512,
              0.18792,
              0.20803,
              0.23198,
              0.2611,
              0.29531,
              0.33678
            ],
            [
              0.10535,
              0.209,
              0.22897,
              0.25318,
              0.28213,
              0.31636,
              0.35793
            ],
            [
              0.13194,
              0.24024,
              0.26041,
              0.2847,
              0.31334,
              0.34804,
              0.3898
            ],
            [
              0.16608,
              0.28733,
              0.30751,
              0.33163,
              0.3605,
              0.39535,
              0.43669
            ],
            [
              0.21017,
              0.35818,
              0.37862,
              0.40274,
              0.43137,
              0.46611,
              0.5075
            ],
            [
              0.26684,
              0.45332,
              0.47852,
              0.50682,
              0.53812,
              0.57302,
              0.61372
            ],
            [
              0.34027,
              0.57617,
              0.60767,
              0.64317,
              0.68187,
              0.72457,
              0.77227
            ],
            [
              0.4342,
              0.7359,
              0.7762,
              0.8203,
              0.8688,
              0.922,
              0.9811
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.27179,
              0.71889,
              0.80685,
              0.91214,
              1.03827,
              1.18967,
              1.37127
            ],
            [
              0.27436,
              0.72232,
              0.81041,
              0.91577,
              1.04204,
              1.19334,
              1.37504
            ],
            [
              0.27756,
              0.72644,
              0.81456,
              0.92006,
              1.04622,
              1.19762,
              1.37942
            ],
            [
              0.28286,
              0.73252,
              0.8208,
              0.92634,
              1.05288,
              1.20427,
              1.38608
            ],
            [
              0.29131,
              0.74218,
              0.83051,
              0.93621,
              1.06271,
              1.21421,
              1.39611
            ],
            [
              0.30531,
              0.75729,
              0.84574,
              0.95142,
              1.07812,
              1.22982,
              1.41192
            ],
            [
              0.32822,
              0.78069,
              0.86933,
              0.97523,
              1.10203,
              1.25413,
              1.43643
            ],
            [
              0.36441,
              0.81647,
              0.90556,
              1.01156,
              1.13856,
              1.29066,
              1.47356
            ],
            [
              0.42165,
              0.87245,
              0.96065,
              1.06835,
              1.19545,
              1.34765,
              1.53035
            ],
            [
              0.50963,
              0.95829,
              1.04689,
              1.15199,
              1.28109,
              1.43329,
              1.61609
            ],
            [
              0.64322,
              1.09022,
              1.17722,
              1.28302,
              1.41182,
              1.56382,
              1.74672
            ],
            [
              0.84557,
              1.28887,
              1.37837,
              1.48437,
              1.61027,
              1.76007,
              1.94487
            ],
            [
              1.141,
              1.5913,
              1.6796,
              1.7851,
              1.9104,
              2.0594,
              2.2436
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04635,
              0.1834,
              0.21019,
              0.24205,
              0.27993,
              0.32502,
              0.3788
            ],
            [
              0.04636,
              0.18336,
              0.21022,
              0.24211,
              0.2799,
              0.32501,
              0.37887
            ],
            [
              0.04637,
              0.18338,
              0.21023,
              0.24202,
              0.27989,
              0.32493,
              0.37892
            ],
            [
              0.0464,
              0.18339,
              0.21026,
              0.24205,
              0.2799,
              0.32491,
              0.37892
            ],
            [
              0.04641,
              0.18338,
              0.21022,
              0.24212,
              0.27999,
              0.32498,
              0.37882
            ],
            [
              0.04695,
              0.18339,
              0.21021,
              0.24203,
              0.28002,
              0.32495,
              0.37888
            ],
            [
              0.05112,
              0.18345,
              0.21026,
              0.24211,
              0.27999,
              0.32492,
              0.37888
            ],
            [
              0.06214,
              0.18348,
              0.21025,
              0.24213,
              0.2799,
              0.325,
              0.37892
            ],
            [
              0.07938,
              0.18859,
              0.21336,
              0.24349,
              0.2803,
              0.32502,
              0.37888
            ],
            [
              0.10396,
              0.2056,
              0.22774,
              0.25499,
              0.28873,
              0.33009,
              0.38101
            ],
            [
              0.1399,
              0.24359,
              0.26236,
              0.28573,
              0.31506,
              0.35194,
              0.39831
            ],
            [
              0.1917,
              0.3061,
              0.3257,
              0.3473,
              0.3728,
              0.404,
              0.4434
            ],
            [
              0.2616,
              0.3906,
              0.4123,
              0.4371,
              0.4656,
              0.4983,
              0.5351
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.20936,
              0.76452,
              0.8762,
              1.00811,
              1.16658,
              1.35684,
              1.58548
            ],
            [
              0.20964,
              0.76455,
              0.87603,
              1.00815,
              1.16678,
              1.35675,
              1.58537
            ],
            [
              0.20933,
              0.76498,
              0.87595,
              1.00794,
              1.16603,
              1.35719,
              1.58616
            ],
            [
              0.20958,
              0.76542,
              0.87568,
              1.0081,
              1.16699,
              1.35699,
              1.58585
            ],
            [
              0.20966,
              0.76457,
              0.87599,
              1.00808,
              1.16676,
              1.35697,
              1.58686
            ],
            [
              0.20951,
              0.76464,
              0.87597,
              1.00805,
              1.16598,
              1.35624,
              1.58525
            ],
            [
              0.20913,
              0.76562,
              0.87615,
              1.00836,
              1.16654,
              1.35768,
              1.58598
            ],
            [
              0.20942,
              0.76535,
              0.87519,
              1.00803,
              1.16602,
              1.35658,
              1.58644
            ],
            [
              0.20904,
              0.76537,
              0.87584,
              1.0082,
              1.16644,
              1.35694,
              1.58664
            ],
            [
              0.20782,
              0.76517,
              0.87537,
              1.0078,
              1.1662,
              1.3565,
              1.585
            ],
            [
              0.2076,
              0.7649,
              0.8752,
              1.0084,
              1.1661,
              1.357,
              1.585
            ],
            [
              0.2244,
              0.765,
              0.8763,
              1.0088,
              1.1664,
              1.3567,
              1.5851
            ],
            [
              0.2723,
              0.7654,
              0.8741,
              1.0074,
              1.1672,
              1.3573,
              1.586
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05869,
              0.15949,
              0.17956,
              0.20354,
              0.23205,
              0.26669,
              0.30814
            ],
            [
              0.06226,
              0.16345,
              0.18344,
              0.20745,
              0.23611,
              0.27055,
              0.31212
            ],
            [
              0.06642,
              0.16785,
              0.18794,
              0.21183,
              0.24069,
              0.27507,
              0.3164
            ],
            [
              0.0724,
              0.17433,
              0.19445,
              0.21845,
              0.24716,
              0.28166,
              0.32305
            ],
            [
              0.0811,
              0.18366,
              0.20376,
              0.22779,
              0.25658,
              0.29107,
              0.33233
            ],
            [
              0.09408,
              0.19731,
              0.2174,
              0.24136,
              0.27021,
              0.30486,
              0.34639
            ],
            [
              0.11353,
              0.21742,
              0.2376,
              0.26163,
              0.29048,
              0.32514,
              0.36663
            ],
            [
              0.14036,
              0.24748,
              0.26765,
              0.2918,
              0.32083,
              0.35537,
              0.39704
            ],
            [
              0.17701,
              0.29227,
              0.31263,
              0.33694,
              0.36602,
              0.40061,
              0.44242
            ],
            [
              0.22667,
              0.35903,
              0.37989,
              0.40427,
              0.43351,
              0.46847,
              0.51034
            ],
            [
              0.29301,
              0.45182,
              0.47552,
              0.50282,
              0.53392,
              0.56962,
              0.61162
            ],
            [
              0.38097,
              0.57837,
              0.60627,
              0.63787,
              0.67357,
              0.71417,
              0.76037
            ],
            [
              0.4973,
              0.7493,
              0.7836,
              0.8219,
              0.8644,
              0.912,
              0.9655
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.14871,
              0.41725,
              0.47047,
              0.53419,
              0.61056,
              0.70224,
              0.81244
            ],
            [
              0.15147,
              0.42065,
              0.4739,
              0.53768,
              0.61415,
              0.70583,
              0.81608
            ],
            [
              0.15526,
              0.42505,
              0.47835,
              0.54221,
              0.61864,
              0.71051,
              0.82069
            ],
            [
              0.16142,
              0.43194,
              0.48529,
              0.54914,
              0.6257,
              0.71742,
              0.82771
            ],
            [
              0.17132,
              0.4426,
              0.49601,
              0.55995,
              0.63654,
              0.72845,
              0.83882
            ],
            [
              0.1873,
              0.45916,
              0.51262,
              0.57661,
              0.65328,
              0.74518,
              0.85555
            ],
            [
              0.21262,
              0.48453,
              0.53805,
              0.60205,
              0.67879,
              0.77078,
              0.88124
            ],
            [
              0.25158,
              0.5226,
              0.57615,
              0.64078,
              0.71753,
              0.80952,
              0.91986
            ],
            [
              0.31088,
              0.58174,
              0.6351,
              0.69849,
              0.77505,
              0.86715,
              0.97745
            ],
            [
              0.40104,
              0.67119,
              0.72489,
              0.78879,
              0.86479,
              0.95629,
              1.06789
            ],
            [
              0.53562,
              0.80602,
              0.85912,
              0.92322,
              0.99842,
              1.09172,
              1.20242
            ],
            [
              0.72267,
              1.00927,
              1.06237,
              1.12587,
              1.20287,
              1.29447,
              1.40307
            ],
            [
              0.981,
              1.3151,
              1.3683,
              1.4307,
              1.5084,
              1.5997,
              1.7096
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03739,
              0.1667,
              0.19286,
              0.2237,
              0.26064,
              0.30532,
              0.35918
            ],
            [
              0.03737,
              0.16684,
              0.19256,
              0.22369,
              0.26079,
              0.30525,
              0.35892
            ],
            [
              0.03738,
              0.16676,
              0.19271,
              0.22347,
              0.26091,
              0.30547,
              0.35879
            ],
            [
              0.03737,
              0.16669,
              0.19277,
              0.2237,
              0.26066,
              0.30557,
              0.35919
            ],
            [
              0.03736,
              0.16668,
              0.19254,
              0.22352,
              0.26088,
              0.30524,
              0.35895
            ],
            [
              0.03739,
              0.16682,
              0.19271,
              0.22357,
              0.26067,
              0.30528,
              0.35891
            ],
            [
              0.03938,
              0.16694,
              0.19271,
              0.22357,
              0.26066,
              0.30551,
              0.35916
            ],
            [
              0.04496,
              0.16696,
              0.19263,
              0.22388,
              0.26087,
              0.30534,
              0.35892
            ],
            [
              0.05336,
              0.16994,
              0.19446,
              0.22472,
              0.26102,
              0.30517,
              0.35941
            ],
            [
              0.06622,
              0.17969,
              0.20295,
              0.23152,
              0.26612,
              0.30866,
              0.36058
            ],
            [
              0.08528,
              0.20321,
              0.22413,
              0.24959,
              0.28179,
              0.32183,
              0.37074
            ],
            [
              0.1125,
              0.2409,
              0.2626,
              0.2883,
              0.3184,
              0.3541,
              0.3986
            ],
            [
              0.1507,
              0.2967,
              0.3196,
              0.3462,
              0.3774,
              0.4142,
              0.4575
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.11286,
              0.45385,
              0.52205,
              0.60358,
              0.7014,
              0.81813,
              0.95981
            ],
            [
              0.11273,
              0.45394,
              0.52198,
              0.60337,
              0.70154,
              0.8188,
              0.95984
            ],
            [
              0.1127,
              0.45393,
              0.52198,
              0.60334,
              0.70128,
              0.81831,
              0.95907
            ],
            [
              0.11262,
              0.45423,
              0.52197,
              0.60354,
              0.70101,
              0.81867,
              0.9598
            ],
            [
              0.11265,
              0.45384,
              0.52222,
              0.60375,
              0.70134,
              0.81853,
              0.95923
            ],
            [
              0.11265,
              0.45414,
              0.5219,
              0.60335,
              0.70144,
              0.8187,
              0.95975
            ],
            [
              0.11255,
              0.45381,
              0.52205,
              0.60357,
              0.70125,
              0.81875,
              0.9595
            ],
            [
              0.11244,
              0.45411,
              0.52186,
              0.60332,
              0.70145,
              0.81868,
              0.95975
            ],
            [
              0.11205,
              0.45398,
              0.52201,
              0.6036,
              0.70135,
              0.81851,
              0.95982
            ],
            [
              0.11673,
              0.45419,
              0.52217,
              0.60362,
              0.70097,
              0.81848,
              0.95921
            ],
            [
              0.1356,
              0.454,
              0.522,
              0.6036,
              0.7014,
              0.8189,
              0.9596
            ],
            [
              0.1738,
              0.4581,
              0.5231,
              0.6035,
              0.7011,
              0.8189,
              0.9599
            ],
            [
              0.2262,
              0.4893,
              0.5475,
              0.6201,
              0.7096,
              0.821,
              0.9591
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05867,
              0.1596,
              0.17955,
              0.20348,
              0.23223,
              0.26654,
              0.30815
            ],
            [
              0.0623,
              0.16359,
              0.18357,
              0.20735,
              0.23623,
              0.27052,
              0.31208
            ],
            [
              0.06646,
              0.16792,
              0.18796,
              0.21195,
              0.24059,
              0.27525,
              0.31662
            ],
            [
              0.07251,
              0.17452,
              0.19445,
              0.21851,
              0.24712,
              0.28181,
              0.32329
            ],
            [
              0.08126,
              0.18383,
              0.20392,
              0.22779,
              0.25669,
              0.29123,
              0.33271
            ],
            [
              0.09424,
              0.19743,
              0.21758,
              0.24154,
              0.27037,
              0.30503,
              0.34659
            ],
            [
              0.11374,
              0.21769,
              0.23785,
              0.26186,
              0.29079,
              0.32542,
              0.36677
            ],
            [
              0.14064,
              0.24782,
              0.26803,
              0.29215,
              0.32114,
              0.35567,
              0.39726
            ],
            [
              0.17734,
              0.29263,
              0.31302,
              0.33732,
              0.36641,
              0.40094,
              0.44279
            ],
            [
              0.22701,
              0.35943,
              0.38033,
              0.40474,
              0.43395,
              0.4688,
              0.51077
            ],
            [
              0.29325,
              0.45212,
              0.47602,
              0.50322,
              0.53432,
              0.57012,
              0.61212
            ],
            [
              0.38127,
              0.57887,
              0.60687,
              0.63837,
              0.67417,
              0.71467,
              0.76097
            ],
            [
              0.4975,
              0.7499,
              0.7842,
              0.8224,
              0.8649,
              0.9125,
              0.966
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.17004,
              0.48368,
              0.54585,
              0.6203,
              0.7096,
              0.81662,
              0.94542
            ],
            [
              0.17243,
              0.48685,
              0.54901,
              0.62354,
              0.71288,
              0.82007,
              0.9488
            ],
            [
              0.17583,
              0.49096,
              0.55323,
              0.62781,
              0.71725,
              0.82444,
              0.95328
            ],
            [
              0.1815,
              0.49754,
              0.55986,
              0.63448,
              0.72389,
              0.8311,
              0.95996
            ],
            [
              0.19082,
              0.5078,
              0.57021,
              0.64494,
              0.73445,
              0.84171,
              0.97061
            ],
            [
              0.20612,
              0.5238,
              0.58629,
              0.66108,
              0.7507,
              0.85807,
              0.98702
            ],
            [
              0.23049,
              0.54863,
              0.61115,
              0.686,
              0.77571,
              0.8832,
              1.01223
            ],
            [
              0.2688,
              0.58589,
              0.64852,
              0.72406,
              0.8138,
              0.92126,
              1.05036
            ],
            [
              0.32708,
              0.64319,
              0.70588,
              0.78075,
              0.87065,
              0.97825,
              1.10725
            ],
            [
              0.41597,
              0.73079,
              0.79339,
              0.86799,
              0.95779,
              1.06519,
              1.19559
            ],
            [
              0.55042,
              0.86362,
              0.92662,
              1.00142,
              1.08952,
              1.19862,
              1.32792
            ],
            [
              0.73987,
              1.06427,
              1.12697,
              1.20127,
              1.29047,
              1.39837,
              1.52537
            ],
            [
              1.0009,
              1.3666,
              1.4288,
              1.5018,
              1.5928,
              1.6995,
              1.8279
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03733,
              0.16688,
              0.19268,
              0.22389,
              0.26084,
              0.30519,
              0.35924
            ],
            [
              0.03735,
              0.16707,
              0.19276,
              0.22354,
              0.2609,
              0.30524,
              0.35894
            ],
            [
              0.03736,
              0.16684,
              0.19251,
              0.22368,
              0.26059,
              0.30552,
              0.35905
            ],
            [
              0.03738,
              0.16684,
              0.19251,
              0.2237,
              0.26063,
              0.30532,
              0.35918
            ],
            [
              0.03737,
              0.16703,
              0.19269,
              0.22354,
              0.26069,
              0.30554,
              0.35916
            ],
            [
              0.03737,
              0.16669,
              0.1927,
              0.22355,
              0.26074,
              0.30527,
              0.35891
            ],
            [
              0.0393,
              0.16693,
              0.19271,
              0.22356,
              0.26071,
              0.30533,
              0.35892
            ],
            [
              0.04483,
              0.16684,
              0.19266,
              0.22385,
              0.26087,
              0.30529,
              0.35882
            ],
            [
              0.05321,
              0.16986,
              0.19446,
              0.22427,
              0.261,
              0.30515,
              0.35941
            ],
            [
              0.06606,
              0.17959,
              0.20283,
              0.23145,
              0.26598,
              0.30837,
              0.36052
            ],
            [
              0.08515,
              0.20304,
              0.22393,
              0.24943,
              0.28162,
              0.32176,
              0.37066
            ],
            [
              0.1122,
              0.2406,
              0.2624,
              0.2878,
              0.3181,
              0.3539,
              0.3982
            ],
            [
              0.1506,
              0.2962,
              0.3192,
              0.3458,
              0.377,
              0.4138,
              0.4572
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.13154,
              0.52846,
              0.60736,
              0.70186,
              0.81555,
              0.95203,
              1.11564
            ],
            [
              0.13148,
              0.52835,
              0.60728,
              0.70189,
              0.81549,
              0.95163,
              1.1158
            ],
            [
              0.13149,
              0.52832,
              0.60734,
              0.70209,
              0.81527,
              0.95148,
              1.11506
            ],
            [
              0.13144,
              0.52807,
              0.60711,
              0.70192,
              0.81555,
              0.95203,
              1.11578
            ],
            [
              0.13138,
              0.52819,
              0.60739,
              0.70187,
              0.81527,
              0.95198,
              1.1156
            ],
            [
              0.13132,
              0.5281,
              0.6074,
              0.70159,
              0.81559,
              0.95199,
              1.11582
            ],
            [
              0.1312,
              0.5283,
              0.60722,
              0.70183,
              0.81531,
              0.95176,
              1.11545
            ],
            [
              0.13085,
              0.52844,
              0.60708,
              0.70218,
              0.81568,
              0.95198,
              1.11563
            ],
            [
              0.13021,
              0.52813,
              0.60712,
              0.70197,
              0.81561,
              0.95182,
              1.11586
            ],
            [
              0.13221,
              0.52854,
              0.60731,
              0.70229,
              0.8155,
              0.95146,
              1.1149
            ],
            [
              0.1479,
              0.5284,
              0.6075,
              0.7023,
              0.8156,
              0.9515,
              1.1158
            ],
            [
              0.1854,
              0.5292,
              0.6064,
              0.7015,
              0.8158,
              0.952,
              1.1159
            ],
            [
              0.2387,
              0.5527,
              0.6229,
              0.7107,
              0.8182,
              0.9516,
              1.1154
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05872,
              0.15959,
              0.17952,
              0.20366,
              0.23226,
              0.2665,
              0.30815
            ],
            [
              0.06229,
              0.16355,
              0.18352,
              0.20732,
              0.23619,
              0.2706,
              0.31205
            ],
            [
              0.06646,
              0.16799,
              0.18805,
              0.21184,
              0.24074,
              0.27524,
              0.31669
            ],
            [
              0.07247,
              0.17452,
              0.19451,
              0.2184,
              0.24729,
              0.2818,
              0.3231
            ],
            [
              0.08124,
              0.18381,
              0.2039,
              0.22783,
              0.25667,
              0.29123,
              0.33262
            ],
            [
              0.09424,
              0.19747,
              0.21755,
              0.24151,
              0.27028,
              0.30502,
              0.34656
            ],
            [
              0.11371,
              0.21766,
              0.23781,
              0.2618,
              0.29078,
              0.32539,
              0.36683
            ],
            [
              0.14059,
              0.24777,
              0.26796,
              0.2921,
              0.32109,
              0.35562,
              0.39733
            ],
            [
              0.17724,
              0.29256,
              0.31295,
              0.33728,
              0.36634,
              0.40087,
              0.44272
            ],
            [
              0.22694,
              0.35937,
              0.38025,
              0.40466,
              0.43387,
              0.46875,
              0.51069
            ],
            [
              0.29318,
              0.45202,
              0.47592,
              0.50312,
              0.53432,
              0.57002,
              0.61202
            ],
            [
              0.38117,
              0.57877,
              0.60667,
              0.63827,
              0.67407,
              0.71457,
              0.76087
            ],
            [
              0.4975,
              0.7498,
              0.7841,
              0.8223,
              0.8648,
              0.9124,
              0.9659
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.16569,
              0.46914,
              0.52931,
              0.60137,
              0.68774,
              0.79136,
              0.91592
            ],
            [
              0.16813,
              0.47233,
              0.53253,
              0.60461,
              0.69107,
              0.79471,
              0.91943
            ],
            [
              0.17161,
              0.47653,
              0.5368,
              0.60894,
              0.69544,
              0.79921,
              0.92377
            ],
            [
              0.17738,
              0.48314,
              0.54346,
              0.61567,
              0.70213,
              0.80593,
              0.93063
            ],
            [
              0.18682,
              0.49352,
              0.55391,
              0.62621,
              0.7128,
              0.81663,
              0.94133
            ],
            [
              0.20225,
              0.50963,
              0.57008,
              0.64244,
              0.72917,
              0.8331,
              0.95792
            ],
            [
              0.22681,
              0.5346,
              0.59509,
              0.66749,
              0.75428,
              0.85831,
              0.98313
            ],
            [
              0.26529,
              0.57203,
              0.63261,
              0.70574,
              0.79256,
              0.89656,
              1.02146
            ],
            [
              0.32379,
              0.62954,
              0.69018,
              0.76255,
              0.84955,
              0.95365,
              1.07845
            ],
            [
              0.41294,
              0.71749,
              0.77909,
              0.85019,
              0.93699,
              1.04089,
              1.16719
            ],
            [
              0.54752,
              0.85082,
              0.91172,
              0.98422,
              1.06922,
              1.17482,
              1.29992
            ],
            [
              0.73637,
              1.05277,
              1.11277,
              1.18457,
              1.27077,
              1.37527,
              1.49817
            ],
            [
              0.9968,
              1.3553,
              1.4154,
              1.4861,
              1.5741,
              1.6774,
              1.8015
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03737,
              0.16685,
              0.19265,
              0.22396,
              0.26091,
              0.30516,
              0.35897
            ],
            [
              0.03736,
              0.16705,
              0.19274,
              0.22352,
              0.26114,
              0.30536,
              0.35891
            ],
            [
              0.03737,
              0.16703,
              0.19272,
              0.22351,
              0.26073,
              0.30551,
              0.35906
            ],
            [
              0.03737,
              0.16681,
              0.19269,
              0.22355,
              0.26069,
              0.30554,
              0.35894
            ],
            [
              0.03737,
              0.16672,
              0.19265,
              0.22359,
              0.26067,
              0.30531,
              0.3592
            ],
            [
              0.03739,
              0.16691,
              0.19269,
              0.22356,
              0.26061,
              0.30528,
              0.35892
            ],
            [
              0.03931,
              0.16693,
              0.19271,
              0.22352,
              0.26073,
              0.30533,
              0.35911
            ],
            [
              0.04485,
              0.16697,
              0.19263,
              0.22386,
              0.26087,
              0.30528,
              0.35921
            ],
            [
              0.05321,
              0.16988,
              0.19446,
              0.22473,
              0.26099,
              0.30515,
              0.35942
            ],
            [
              0.0661,
              0.17956,
              0.20283,
              0.23142,
              0.26606,
              0.30845,
              0.36051
            ],
            [
              0.0852,
              0.20308,
              0.22395,
              0.24954,
              0.28165,
              0.32168,
              0.37061
            ],
            [
              0.1122,
              0.2407,
              0.2624,
              0.2879,
              0.3182,
              0.3538,
              0.3982
            ],
            [
              0.1506,
              0.2963,
              0.3193,
              0.3461,
              0.377,
              0.4139,
              0.4573
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.12727,
              0.51136,
              0.58784,
              0.67985,
              0.7897,
              0.92146,
              1.08057
            ],
            [
              0.12718,
              0.51158,
              0.58778,
              0.67998,
              0.78981,
              0.92198,
              1.07984
            ],
            [
              0.12718,
              0.51159,
              0.58781,
              0.67974,
              0.78982,
              0.92156,
              1.08065
            ],
            [
              0.12719,
              0.51148,
              0.58794,
              0.67993,
              0.78987,
              0.9216,
              1.08029
            ],
            [
              0.12713,
              0.51171,
              0.58812,
              0.67938,
              0.78957,
              0.92186,
              1.08072
            ],
            [
              0.12708,
              0.51174,
              0.5879,
              0.67958,
              0.78971,
              0.92144,
              1.08038
            ],
            [
              0.12694,
              0.51155,
              0.58792,
              0.67976,
              0.78981,
              0.92141,
              1.08039
            ],
            [
              0.1267,
              0.51147,
              0.58796,
              0.67971,
              0.78975,
              0.92137,
              1.07985
            ],
            [
              0.12619,
              0.51147,
              0.58808,
              0.67998,
              0.7899,
              0.92132,
              1.08049
            ],
            [
              0.12861,
              0.51165,
              0.58807,
              0.67966,
              0.7898,
              0.922,
              1.0806
            ],
            [
              0.1451,
              0.5116,
              0.588,
              0.68,
              0.7901,
              0.9218,
              1.0807
            ],
            [
              0.1829,
              0.5129,
              0.588,
              0.6795,
              0.7901,
              0.9219,
              1.0806
            ],
            [
              0.2361,
              0.5382,
              0.6058,
              0.69,
              0.7934,
              0.922,
              1.0804
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05877,
              0.15959,
              0.17944,
              0.20356,
              0.23206,
              0.26677,
              0.30794
            ],
            [
              0.0624,
              0.16363,
              0.18341,
              0.20755,
              0.23609,
              0.27044,
              0.31219
            ],
            [
              0.0666,
              0.16817,
              0.18795,
              0.21212,
              0.24089,
              0.2751,
              0.31679
            ],
            [
              0.07266,
              0.17466,
              0.19476,
              0.21879,
              0.24744,
              0.28193,
              0.3234
            ],
            [
              0.0815,
              0.18408,
              0.20399,
              0.22817,
              0.25676,
              0.29134,
              0.33298
            ],
            [
              0.09459,
              0.1978,
              0.2178,
              0.24192,
              0.27082,
              0.30524,
              0.34673
            ],
            [
              0.11415,
              0.21813,
              0.23828,
              0.26228,
              0.29124,
              0.32586,
              0.36733
            ],
            [
              0.1412,
              0.24841,
              0.26852,
              0.29271,
              0.3217,
              0.3562,
              0.3979
            ],
            [
              0.17801,
              0.29339,
              0.31375,
              0.33802,
              0.36714,
              0.40184,
              0.44353
            ],
            [
              0.22775,
              0.36035,
              0.38117,
              0.40557,
              0.43479,
              0.46953,
              0.51163
            ],
            [
              0.29411,
              0.45322,
              0.47702,
              0.50422,
              0.53532,
              0.57102,
              0.61312
            ],
            [
              0.38197,
              0.57987,
              0.60797,
              0.63957,
              0.67527,
              0.71577,
              0.76217
            ],
            [
              0.4982,
              0.7512,
              0.7855,
              0.8236,
              0.8661,
              0.9137,
              0.9674
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.22529,
              0.66136,
              0.74789,
              0.85151,
              0.97581,
              1.12487,
              1.30407
            ],
            [
              0.22686,
              0.66409,
              0.75066,
              0.85437,
              0.97872,
              1.12784,
              1.30704
            ],
            [
              0.2294,
              0.66771,
              0.75436,
              0.85815,
              0.98252,
              1.13172,
              1.31092
            ],
            [
              0.23397,
              0.67356,
              0.76028,
              0.86413,
              0.98857,
              1.13777,
              1.31707
            ],
            [
              0.24191,
              0.68285,
              0.76969,
              0.87367,
              0.99821,
              1.14751,
              1.32701
            ],
            [
              0.25553,
              0.6976,
              0.78456,
              0.88865,
              1.01332,
              1.16282,
              1.34232
            ],
            [
              0.27809,
              0.72088,
              0.80796,
              0.91213,
              1.03703,
              1.18663,
              1.36623
            ],
            [
              0.31414,
              0.75617,
              0.84346,
              0.94856,
              1.07346,
              1.22306,
              1.40276
            ],
            [
              0.37024,
              0.81125,
              0.89845,
              1.00285,
              1.12795,
              1.27775,
              1.45755
            ],
            [
              0.45623,
              0.89579,
              0.98299,
              1.08729,
              1.21229,
              1.36179,
              1.54089
            ],
            [
              0.58682,
              1.02272,
              1.10972,
              1.21522,
              1.33872,
              1.48842,
              1.67022
            ],
            [
              0.78197,
              1.21807,
              1.30517,
              1.40847,
              1.53217,
              1.68367,
              1.86307
            ],
            [
              1.0498,
              1.5114,
              1.598,
              1.6998,
              1.8258,
              1.9755,
              2.154
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.03728,
              0.16681,
              0.19249,
              0.22361,
              0.26057,
              0.30533,
              0.35896
            ],
            [
              0.0373,
              0.16684,
              0.19254,
              0.22361,
              0.26057,
              0.30514,
              0.35918
            ],
            [
              0.03731,
              0.16669,
              0.19262,
              0.22349,
              0.26086,
              0.30514,
              0.35913
            ],
            [
              0.03733,
              0.16667,
              0.19253,
              0.22372,
              0.26084,
              0.30552,
              0.35933
            ],
            [
              0.03732,
              0.16691,
              0.19256,
              0.22369,
              0.2607,
              0.3052,
              0.35894
            ],
            [
              0.03735,
              0.16686,
              0.1926,
              0.22348,
              0.26092,
              0.30533,
              0.35883
            ],
            [
              0.03917,
              0.16691,
              0.19269,
              0.22352,
              0.26068,
              0.30552,
              0.35883
            ],
            [
              0.04462,
              0.16693,
              0.19255,
              0.22388,
              0.26099,
              0.30522,
              0.35886
            ],
            [
              0.05284,
              0.16976,
              0.19435,
              0.22468,
              0.26098,
              0.30561,
              0.35898
            ],
            [
              0.06564,
              0.1792,
              0.20249,
              0.2312,
              0.2659,
              0.30817,
              0.36049
            ],
            [
              0.08458,
              0.20238,
              0.22334,
              0.24902,
              0.28134,
              0.32142,
              0.37029
            ],
            [
              0.1118,
              0.2398,
              0.2616,
              0.2873,
              0.3173,
              0.353,
              0.3977
            ],
            [
              0.1501,
              0.2952,
              0.3182,
              0.3449,
              0.3761,
              0.413,
              0.4564
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.18308,
              0.73051,
              0.83913,
              0.96953,
              1.12602,
              1.31372,
              1.53926
            ],
            [
              0.18301,
              0.73038,
              0.83912,
              0.9693,
              1.12569,
              1.31326,
              1.53925
            ],
            [
              0.18276,
              0.73036,
              0.839,
              0.96922,
              1.12602,
              1.31354,
              1.53929
            ],
            [
              0.18272,
              0.73004,
              0.83905,
              0.9692,
              1.12561,
              1.31358,
              1.53928
            ],
            [
              0.18275,
              0.7302,
              0.83916,
              0.9691,
              1.12596,
              1.31378,
              1.53916
            ],
            [
              0.1824,
              0.73029,
              0.83922,
              0.96914,
              1.12597,
              1.31366,
              1.53934
            ],
            [
              0.18225,
              0.73038,
              0.83903,
              0.96948,
              1.12552,
              1.31309,
              1.53915
            ],
            [
              0.18161,
              0.73023,
              0.83911,
              0.96932,
              1.12583,
              1.31371,
              1.5393
            ],
            [
              0.1805,
              0.73011,
              0.83894,
              0.96956,
              1.12604,
              1.31324,
              1.53864
            ],
            [
              0.178,
              0.73035,
              0.83912,
              0.96957,
              1.126,
              1.3129,
              1.5392
            ],
            [
              0.1865,
              0.7303,
              0.8391,
              0.9695,
              1.1261,
              1.3137,
              1.5385
            ],
            [
              0.2156,
              0.7294,
              0.8384,
              0.9696,
              1.126,
              1.3138,
              1.5394
            ],
            [
              0.2717,
              0.7354,
              0.8399,
              0.9683,
              1.1254,
              1.3135,
              1.5394
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05877,
              0.15953,
              0.17954,
              0.20343,
              0.23214,
              0.26661,
              0.30835
            ],
            [
              0.06238,
              0.16345,
              0.18345,
              0.20742,
              0.23641,
              0.27054,
              0.31216
            ],
            [
              0.06655,
              0.16794,
              0.18797,
              0.21198,
              0.24094,
              0.27512,
              0.31664
            ],
            [
              0.07255,
              0.17447,
              0.19473,
              0.21852,
              0.24751,
              0.28166,
              0.3231
            ],
            [
              0.08133,
              0.18395,
              0.20408,
              0.22783,
              0.25683,
              0.2911,
              0.33253
            ],
            [
              0.09433,
              0.19744,
              0.21753,
              0.24156,
              0.27049,
              0.30522,
              0.34674
            ],
            [
              0.11381,
              0.21784,
              0.23778,
              0.26185,
              0.29091,
              0.32559,
              0.36692
            ],
            [
              0.14072,
              0.24774,
              0.26797,
              0.2922,
              0.321,
              0.35563,
              0.39734
            ],
            [
              0.17739,
              0.29268,
              0.31302,
              0.33734,
              0.3663,
              0.40101,
              0.44285
            ],
            [
              0.22711,
              0.35949,
              0.38037,
              0.40479,
              0.43404,
              0.46888,
              0.51068
            ],
            [
              0.2934,
              0.45222,
              0.47602,
              0.50322,
              0.53432,
              0.57012,
              0.61212
            ],
            [
              0.38147,
              0.57897,
              0.60687,
              0.63847,
              0.67417,
              0.71477,
              0.76107
            ],
            [
              0.4978,
              0.75,
              0.7843,
              0.8224,
              0.865,
              0.9126,
              0.9661
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.20216,
              0.50964,
              0.57045,
              0.64321,
              0.73042,
              0.83503,
              0.96072
            ],
            [
              0.20501,
              0.51284,
              0.5737,
              0.64653,
              0.73382,
              0.83846,
              0.96419
            ],
            [
              0.20869,
              0.51709,
              0.57799,
              0.65086,
              0.73816,
              0.84288,
              0.96858
            ],
            [
              0.21471,
              0.52377,
              0.58469,
              0.6576,
              0.74494,
              0.84964,
              0.97547
            ],
            [
              0.22443,
              0.53418,
              0.5952,
              0.66816,
              0.75558,
              0.86035,
              0.98621
            ],
            [
              0.23992,
              0.55035,
              0.61139,
              0.68447,
              0.77197,
              0.87682,
              1.00272
            ],
            [
              0.26434,
              0.57529,
              0.63644,
              0.70957,
              0.79712,
              0.90213,
              1.02803
            ],
            [
              0.30203,
              0.61281,
              0.67406,
              0.74777,
              0.83536,
              0.94026,
              1.06626
            ],
            [
              0.3607,
              0.67033,
              0.73148,
              0.80475,
              0.89245,
              0.99745,
              1.12325
            ],
            [
              0.44944,
              0.75809,
              0.81899,
              0.89219,
              0.97979,
              1.08439,
              1.21169
            ],
            [
              0.58342,
              0.89172,
              0.95302,
              1.02542,
              1.11322,
              1.21862,
              1.34462
            ],
            [
              0.78247,
              1.09277,
              1.15357,
              1.22677,
              1.31377,
              1.41897,
              1.54147
            ],
            [
              1.0565,
              1.3954,
              1.4555,
              1.529,
              1.6158,
              1.7207,
              1.8452
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04624,
              0.17776,
              0.20365,
              0.23454,
              0.27155,
              0.31602,
              0.36965
            ],
            [
              0.04624,
              0.17783,
              0.20363,
              0.2346,
              0.27162,
              0.31606,
              0.36957
            ],
            [
              0.04624,
              0.17772,
              0.20363,
              0.23464,
              0.27164,
              0.316,
              0.36957
            ],
            [
              0.04625,
              0.17782,
              0.20364,
              0.23464,
              0.27171,
              0.31599,
              0.36958
            ],
            [
              0.04627,
              0.17785,
              0.20367,
              0.23454,
              0.27162,
              0.31607,
              0.36942
            ],
            [
              0.04629,
              0.17773,
              0.20363,
              0.23457,
              0.27164,
              0.31609,
              0.36958
            ],
            [
              0.04824,
              0.1778,
              0.20366,
              0.23457,
              0.27165,
              0.31616,
              0.36954
            ],
            [
              0.05404,
              0.17774,
              0.20363,
              0.23463,
              0.2715,
              0.31607,
              0.36965
            ],
            [
              0.0647,
              0.18077,
              0.20547,
              0.23541,
              0.27172,
              0.31605,
              0.36956
            ],
            [
              0.07995,
              0.19074,
              0.21395,
              0.24233,
              0.27687,
              0.31931,
              0.37107
            ],
            [
              0.10224,
              0.21393,
              0.23481,
              0.26081,
              0.2928,
              0.33243,
              0.38137
            ],
            [
              0.1339,
              0.2532,
              0.2744,
              0.2993,
              0.3288,
              0.3645,
              0.4092
            ],
            [
              0.1786,
              0.3109,
              0.3329,
              0.359,
              0.3893,
              0.4254,
              0.468
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.14802,
              0.53669,
              0.61426,
              0.70645,
              0.81707,
              0.95059,
              1.11056
            ],
            [
              0.14809,
              0.5367,
              0.61399,
              0.70626,
              0.81705,
              0.95059,
              1.11091
            ],
            [
              0.14823,
              0.53669,
              0.61425,
              0.70678,
              0.81787,
              0.95065,
              1.11045
            ],
            [
              0.14825,
              0.53668,
              0.61433,
              0.70663,
              0.8174,
              0.95078,
              1.11088
            ],
            [
              0.14799,
              0.53686,
              0.61425,
              0.70693,
              0.81776,
              0.95075,
              1.11027
            ],
            [
              0.14811,
              0.53691,
              0.61419,
              0.70662,
              0.81761,
              0.95087,
              1.11081
            ],
            [
              0.14816,
              0.53713,
              0.6144,
              0.70688,
              0.81792,
              0.95018,
              1.11043
            ],
            [
              0.14785,
              0.53714,
              0.61431,
              0.70678,
              0.81781,
              0.95075,
              1.11017
            ],
            [
              0.14772,
              0.53671,
              0.61407,
              0.70698,
              0.81773,
              0.95028,
              1.11043
            ],
            [
              0.14681,
              0.5372,
              0.61459,
              0.70693,
              0.81775,
              0.95054,
              1.1109
            ],
            [
              0.1565,
              0.537,
              0.6138,
              0.7067,
              0.8178,
              0.9505,
              1.1102
            ],
            [
              0.187,
              0.5369,
              0.6139,
              0.7068,
              0.8173,
              0.9508,
              1.1104
            ],
            [
              0.2403,
              0.5557,
              0.6261,
              0.712,
              0.8192,
              0.9507,
              1.1109
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05885,
              0.15955,
              0.17955,
              0.20372,
              0.23216,
              0.26692,
              0.30804
            ],
            [
              0.06248,
              0.1635,
              0.18347,
              0.20772,
              0.23611,
              0.27054,
              0.31237
            ],
            [
              0.06667,
              0.16805,
              0.18808,
              0.212,
              0.24105,
              0.27521,
              0.3169
            ],
            [
              0.07273,
              0.17456,
              0.19461,
              0.2186,
              0.2473,
              0.28184,
              0.32321
            ],
            [
              0.08157,
              0.18401,
              0.20409,
              0.22803,
              0.25686,
              0.29162,
              0.33322
            ],
            [
              0.09466,
              0.19777,
              0.2179,
              0.24211,
              0.27069,
              0.30521,
              0.34678
            ],
            [
              0.11424,
              0.21811,
              0.23823,
              0.26237,
              0.29133,
              0.32573,
              0.36736
            ],
            [
              0.1413,
              0.24835,
              0.26856,
              0.29274,
              0.32188,
              0.35629,
              0.39798
            ],
            [
              0.17813,
              0.29347,
              0.3138,
              0.33804,
              0.36702,
              0.40187,
              0.44364
            ],
            [
              0.22789,
              0.36044,
              0.38127,
              0.40567,
              0.43482,
              0.46965,
              0.51157
            ],
            [
              0.29429,
              0.45332,
              0.47712,
              0.50432,
              0.53542,
              0.57112,
              0.61322
            ],
            [
              0.38227,
              0.57997,
              0.60807,
              0.63967,
              0.67537,
              0.71587,
              0.76227
            ],
            [
              0.4985,
              0.7513,
              0.7856,
              0.8237,
              0.8663,
              0.9138,
              0.9675
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.27543,
              0.71138,
              0.79768,
              0.90096,
              1.02477,
              1.17327,
              1.35167
            ],
            [
              0.27752,
              0.71416,
              0.80047,
              0.90387,
              1.02774,
              1.17624,
              1.35474
            ],
            [
              0.28045,
              0.71783,
              0.80423,
              0.90767,
              1.03162,
              1.18012,
              1.35862
            ],
            [
              0.28547,
              0.72377,
              0.81024,
              0.91363,
              1.03758,
              1.18627,
              1.36478
            ],
            [
              0.29385,
              0.73319,
              0.81976,
              0.92338,
              1.04741,
              1.19611,
              1.37471
            ],
            [
              0.3077,
              0.74806,
              0.83472,
              0.93842,
              1.06262,
              1.21142,
              1.39012
            ],
            [
              0.33024,
              0.7715,
              0.85827,
              0.96203,
              1.08643,
              1.23523,
              1.41413
            ],
            [
              0.36577,
              0.807,
              0.89396,
              0.99846,
              1.12286,
              1.27186,
              1.45066
            ],
            [
              0.4214,
              0.86205,
              0.94905,
              1.05305,
              1.17755,
              1.32665,
              1.50545
            ],
            [
              0.50713,
              0.94669,
              1.03359,
              1.13749,
              1.26179,
              1.41049,
              1.59079
            ],
            [
              0.63672,
              1.07352,
              1.16012,
              1.26402,
              1.38842,
              1.53952,
              1.71822
            ],
            [
              0.83467,
              1.26917,
              1.35547,
              1.45807,
              1.58377,
              1.73297,
              1.91167
            ],
            [
              1.1176,
              1.5623,
              1.6476,
              1.7514,
              1.876,
              2.0246,
              2.2017
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04616,
              0.17778,
              0.20365,
              0.23461,
              0.27154,
              0.3161,
              0.36954
            ],
            [
              0.04617,
              0.17773,
              0.2036,
              0.23462,
              0.27151,
              0.31618,
              0.36955
            ],
            [
              0.04618,
              0.1777,
              0.20363,
              0.23454,
              0.27166,
              0.31606,
              0.36958
            ],
            [
              0.04618,
              0.17779,
              0.2036,
              0.23454,
              0.27149,
              0.31609,
              0.3696
            ],
            [
              0.04621,
              0.17783,
              0.20363,
              0.23454,
              0.2715,
              0.31615,
              0.36969
            ],
            [
              0.04624,
              0.17771,
              0.20367,
              0.23465,
              0.27152,
              0.31606,
              0.36955
            ],
            [
              0.04813,
              0.17776,
              0.20366,
              0.23462,
              0.27159,
              0.31601,
              0.36965
            ],
            [
              0.05378,
              0.17775,
              0.20363,
              0.23456,
              0.27166,
              0.31602,
              0.36967
            ],
            [
              0.06433,
              0.18065,
              0.2054,
              0.23539,
              0.27165,
              0.31616,
              0.36957
            ],
            [
              0.07947,
              0.19042,
              0.21369,
              0.24211,
              0.27679,
              0.31917,
              0.37099
            ],
            [
              0.10161,
              0.21339,
              0.23434,
              0.26023,
              0.29244,
              0.33211,
              0.38118
            ],
            [
              0.1333,
              0.2524,
              0.2736,
              0.2987,
              0.3281,
              0.3638,
              0.4088
            ],
            [
              0.1781,
              0.3098,
              0.3319,
              0.3579,
              0.3884,
              0.4245,
              0.467
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.21101,
              0.75677,
              0.86538,
              0.99578,
              1.15171,
              1.33805,
              1.56262
            ],
            [
              0.211,
              0.75682,
              0.86536,
              0.99499,
              1.15168,
              1.33808,
              1.56261
            ],
            [
              0.21081,
              0.75677,
              0.86575,
              0.99523,
              1.15105,
              1.33815,
              1.56234
            ],
            [
              0.21098,
              0.75682,
              0.86532,
              0.9958,
              1.15169,
              1.3382,
              1.5626
            ],
            [
              0.21095,
              0.75681,
              0.86544,
              0.99497,
              1.15188,
              1.3382,
              1.56175
            ],
            [
              0.21086,
              0.75687,
              0.8654,
              0.9959,
              1.15115,
              1.33817,
              1.56261
            ],
            [
              0.21073,
              0.75686,
              0.86536,
              0.99529,
              1.15242,
              1.33799,
              1.56257
            ],
            [
              0.21039,
              0.75679,
              0.86534,
              0.99528,
              1.15126,
              1.33821,
              1.56268
            ],
            [
              0.20998,
              0.75685,
              0.86545,
              0.99482,
              1.15188,
              1.3384,
              1.5621
            ],
            [
              0.20849,
              0.75686,
              0.86533,
              0.9948,
              1.1522,
              1.3382,
              1.5626
            ],
            [
              0.209,
              0.7569,
              0.8655,
              0.9965,
              1.1514,
              1.3382,
              1.5625
            ],
            [
              0.2284,
              0.7565,
              0.8649,
              0.9949,
              1.1519,
              1.3386,
              1.5625
            ],
            [
              0.2795,
              0.7584,
              0.8644,
              0.9939,
              1.1514,
              1.3381,
              1.5626
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.05884,
              0.15954,
              0.1796,
              0.20344,
              0.23222,
              0.26692,
              0.30807
            ],
            [
              0.06247,
              0.16343,
              0.18345,
              0.20735,
              0.23607,
              0.27052,
              0.31201
            ],
            [
              0.06666,
              0.16805,
              0.1881,
              0.21201,
              0.24073,
              0.27525,
              0.31699
            ],
            [
              0.07271,
              0.17458,
              0.19459,
              0.21863,
              0.2478,
              0.28182,
              0.32322
            ],
            [
              0.08155,
              0.184,
              0.20411,
              0.22831,
              0.25683,
              0.29148,
              0.3331
            ],
            [
              0.09462,
              0.19774,
              0.21783,
              0.24206,
              0.27097,
              0.30518,
              0.34674
            ],
            [
              0.11419,
              0.21824,
              0.23817,
              0.26228,
              0.29139,
              0.32569,
              0.36726
            ],
            [
              0.14123,
              0.24828,
              0.26849,
              0.29276,
              0.32182,
              0.35623,
              0.39796
            ],
            [
              0.17803,
              0.29338,
              0.31372,
              0.33795,
              0.36693,
              0.40181,
              0.44354
            ],
            [
              0.22776,
              0.36032,
              0.38114,
              0.40555,
              0.4347,
              0.4695,
              0.51147
            ],
            [
              0.29413,
              0.45312,
              0.47692,
              0.50412,
              0.53532,
              0.57092,
              0.61302
            ],
            [
              0.38207,
              0.57987,
              0.60787,
              0.63947,
              0.67517,
              0.71577,
              0.76207
            ],
            [
              0.4984,
              0.7511,
              0.7854,
              0.8235,
              0.866,
              0.9138,
              0.9673
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.29978,
              0.7147,
              0.79644,
              0.89427,
              1.01147,
              1.15197,
              1.32057
            ],
            [
              0.30213,
              0.71756,
              0.79935,
              0.89723,
              1.01444,
              1.15494,
              1.32364
            ],
            [
              0.30529,
              0.7214,
              0.80324,
              0.90116,
              1.01832,
              1.15892,
              1.32762
            ],
            [
              0.31071,
              0.72745,
              0.80936,
              0.90726,
              1.02458,
              1.16518,
              1.33398
            ],
            [
              0.31962,
              0.73713,
              0.81912,
              0.91714,
              1.03451,
              1.17511,
              1.34401
            ],
            [
              0.33407,
              0.75231,
              0.83439,
              0.93252,
              1.05002,
              1.19072,
              1.35972
            ],
            [
              0.35704,
              0.7761,
              0.85825,
              0.95653,
              1.07403,
              1.21493,
              1.38393
            ],
            [
              0.3932,
              0.81211,
              0.89506,
              0.99326,
              1.11096,
              1.25186,
              1.42086
            ],
            [
              0.44875,
              0.86765,
              0.95005,
              1.04845,
              1.16615,
              1.30705,
              1.47605
            ],
            [
              0.53429,
              0.95289,
              1.03509,
              1.13339,
              1.25089,
              1.39139,
              1.56219
            ],
            [
              0.66542,
              1.08042,
              1.16392,
              1.26082,
              1.37842,
              1.52152,
              1.69012
            ],
            [
              0.86237,
              1.27727,
              1.35807,
              1.45547,
              1.57517,
              1.71377,
              1.87917
            ],
            [
              1.154,
              1.5716,
              1.6528,
              1.7514,
              1.8691,
              2.0092,
              2.1758
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.04638,
              0.18338,
              0.21024,
              0.24205,
              0.27997,
              0.32503,
              0.37886
            ],
            [
              0.0464,
              0.18335,
              0.2102,
              0.24204,
              0.27989,
              0.32502,
              0.37884
            ],
            [
              0.04641,
              0.18336,
              0.21023,
              0.24205,
              0.27991,
              0.32502,
              0.37894
            ],
            [
              0.04642,
              0.18339,
              0.21023,
              0.24206,
              0.28001,
              0.32495,
              0.37883
            ],
            [
              0.04644,
              0.18339,
              0.21028,
              0.24216,
              0.27987,
              0.32505,
              0.37889
            ],
            [
              0.04647,
              0.18338,
              0.21021,
              0.24217,
              0.28003,
              0.32493,
              0.37889
            ],
            [
              0.04835,
              0.18346,
              0.21023,
              0.24212,
              0.28002,
              0.32492,
              0.37888
            ],
            [
              0.05409,
              0.1834,
              0.21022,
              0.24213,
              0.27998,
              0.32503,
              0.3789
            ],
            [
              0.0652,
              0.18624,
              0.21199,
              0.24291,
              0.28003,
              0.325,
              0.37891
            ],
            [
              0.08128,
              0.19609,
              0.22032,
              0.24963,
              0.28513,
              0.32811,
              0.38031
            ],
            [
              0.10542,
              0.21927,
              0.24108,
              0.26783,
              0.30082,
              0.34112,
              0.39048
            ],
            [
              0.1416,
              0.2602,
              0.2817,
              0.307,
              0.3367,
              0.373,
              0.4181
            ],
            [
              0.1943,
              0.3199,
              0.3421,
              0.368,
              0.3986,
              0.4343,
              0.4768
            ]
          ]
        },
        "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.00731,
            0.00877,
            0.01052,
            0.01262,
            0.01514,
            0.01817
          ],
          "values": [
            [
              0.22026,
              0.73809,
              0.84132,
              0.96397,
              1.11117,
              1.28942,
              1.50079
            ],
            [
              0.22029,
              0.73809,
              0.84048,
              0.96399,
              1.11125,
              1.28925,
              1.50131
            ],
            [
              0.22023,
              0.73798,
              0.8411,
              0.9639,
              1.11159,
              1.28798,
              1.50049
            ],
            [
              0.21997,
              0.73796,
              0.84122,
              0.96397,
              1.11163,
              1.28896,
              1.5007
            ],
            [
              0.22024,
              0.73823,
              0.8411,
              0.96382,
              1.11092,
              1.28831,
              1.50079
            ],
            [
              0.22023,
              0.73825,
              0.84094,
              0.96382,
              1.11097,
              1.28831,
              1.50013
            ],
            [
              0.22018,
              0.73864,
              0.84112,
              0.96398,
              1.1119,
              1.28799,
              1.5012
            ],
            [
              0.21998,
              0.738,
              0.84104,
              0.96401,
              1.1107,
              1.28891,
              1.50024
            ],
            [
              0.21994,
              0.73793,
              0.84079,
              0.96389,
              1.11244,
              1.28784,
              1.50075
            ],
            [
              0.219,
              0.73821,
              0.84081,
              0.9639,
              1.1111,
              1.289,
              1.5015
            ],
            [
              0.2176,
              0.7382,
              0.8408,
              0.9637,
              1.111,
              1.2887,
              1.5018
            ],
            [
              0.2315,
              0.738,
              0.8405,
              0.9643,
              1.1108,
              1.2891,
              1.5012
            ],
            [
              0.2772,
              0.7396,
              0.8397,
              0.9629,
              1.1116,
              1.2885,
              1.5005
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}