{
  "area": 35.1648,
  "cell_footprint": "sky130_fd_sc_hs__a32oi",
  "cell_leakage_power": 1967.37051,
  "leakage_power": [
    {
      "value": 15.18058,
      "when": "!A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 101.25163,
      "when": "!A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 83.8644,
      "when": "!A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 6432.91822,
      "when": "!A1&!A2&!A3&B1&B2"
    },
    {
      "value": 20.09118,
      "when": "!A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 106.15902,
      "when": "!A1&!A2&A3&!B1&B2"
    },
    {
      "value": 88.77496,
      "when": "!A1&!A2&A3&B1&!B2"
    },
    {
      "value": 6384.12541,
      "when": "!A1&!A2&A3&B1&B2"
    },
    {
      "value": 19.16478,
      "when": "!A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 105.23419,
      "when": "!A1&A2&!A3&!B1&B2"
    },
    {
      "value": 87.84854,
      "when": "!A1&A2&!A3&B1&!B2"
    },
    {
      "value": 6384.92405,
      "when": "!A1&A2&!A3&B1&B2"
    },
    {
      "value": 106.24267,
      "when": "!A1&A2&A3&!B1&!B2"
    },
    {
      "value": 192.26936,
      "when": "!A1&A2&A3&!B1&B2"
    },
    {
      "value": 174.90931,
      "when": "!A1&A2&A3&B1&!B2"
    },
    {
      "value": 6222.22637,
      "when": "!A1&A2&A3&B1&B2"
    },
    {
      "value": 19.14718,
      "when": "A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 105.21506,
      "when": "A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 87.83098,
      "when": "A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 6355.80592,
      "when": "A1&!A2&!A3&B1&B2"
    },
    {
      "value": 88.23125,
      "when": "A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 174.28514,
      "when": "A1&!A2&A3&!B1&B2"
    },
    {
      "value": 156.91222,
      "when": "A1&!A2&A3&B1&!B2"
    },
    {
      "value": 6212.94443,
      "when": "A1&!A2&A3&B1&B2"
    },
    {
      "value": 75.8199,
      "when": "A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 161.86896,
      "when": "A1&A2&!A3&!B1&B2"
    },
    {
      "value": 144.50245,
      "when": "A1&A2&!A3&B1&!B2"
    },
    {
      "value": 6205.26291,
      "when": "A1&A2&!A3&B1&B2"
    },
    {
      "value": 5502.71454,
      "when": "A1&A2&A3&!B1&!B2"
    },
    {
      "value": 5061.59477,
      "when": "A1&A2&A3&!B1&B2"
    },
    {
      "value": 5215.51555,
      "when": "A1&A2&A3&B1&!B2"
    },
    {
      "value": 863.0205,
      "when": "A1&A2&A3&B1&B2"
    }
  ],
  "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.01143,
    "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.02919,
          0.02759,
          0.02822,
          0.0279,
          0.02819,
          0.02818,
          0.02807,
          0.02805,
          0.02813,
          0.03175,
          0.03221,
          0.03709,
          0.03974
        ]
      },
      "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.01571,
          0.01538,
          0.01643,
          0.01628,
          0.01614,
          0.01633,
          0.0163,
          0.01616,
          0.01575,
          0.01696,
          0.01589,
          0.01673,
          0.01796
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.01102,
    "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.0293,
          0.02797,
          0.02877,
          0.02776,
          0.02817,
          0.02811,
          0.02804,
          0.02801,
          0.02803,
          0.03167,
          0.0321,
          0.03698,
          0.03964
        ]
      },
      "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.01665,
          0.0163,
          0.01655,
          0.01699,
          0.01655,
          0.01675,
          0.0167,
          0.01655,
          0.01616,
          0.01739,
          0.01623,
          0.017,
          0.0182
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.01099,
    "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.02918,
          0.02829,
          0.02828,
          0.02791,
          0.028,
          0.02815,
          0.02808,
          0.02805,
          0.02807,
          0.03168,
          0.03216,
          0.03711,
          0.03989
        ]
      },
      "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.01668,
          0.01613,
          0.01662,
          0.01676,
          0.01697,
          0.01701,
          0.01692,
          0.01674,
          0.01632,
          0.01755,
          0.01637,
          0.01727,
          0.01866
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.01205,
    "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.0178,
          0.01818,
          0.01835,
          0.01773,
          0.01818,
          0.01802,
          0.01793,
          0.01779,
          0.01733,
          0.01873,
          0.01806,
          0.02048,
          0.02399
        ]
      },
      "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.02882,
          0.02802,
          0.02797,
          0.02858,
          0.02792,
          0.02808,
          0.0281,
          0.02801,
          0.02802,
          0.03158,
          0.03201,
          0.03714,
          0.04053
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.01133,
    "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.01562,
          0.01482,
          0.01537,
          0.01582,
          0.01551,
          0.0156,
          0.01553,
          0.0153,
          0.01488,
          0.01586,
          0.01501,
          0.01688,
          0.02012
        ]
      },
      "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.02881,
          0.02893,
          0.02941,
          0.02787,
          0.02872,
          0.02861,
          0.02855,
          0.02855,
          0.02856,
          0.03233,
          0.03358,
          0.03838,
          0.04203
        ]
      }
    },
    "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02789,
              0.02092,
              0.01395,
              -1e-05,
              -0.02799,
              -0.08398,
              -0.19597
            ],
            [
              0.02818,
              0.02114,
              0.01417,
              0.00019,
              -0.02778,
              -0.08378,
              -0.19577
            ],
            [
              0.02838,
              0.02138,
              0.01439,
              0.0004,
              -0.02759,
              -0.08358,
              -0.19559
            ],
            [
              0.02876,
              0.02177,
              0.01474,
              0.00074,
              -0.0273,
              -0.08328,
              -0.19527
            ],
            [
              0.02923,
              0.02212,
              0.0151,
              0.00107,
              -0.02698,
              -0.08302,
              -0.19505
            ],
            [
              0.02968,
              0.02259,
              0.01551,
              0.00143,
              -0.02667,
              -0.08273,
              -0.19479
            ],
            [
              0.03022,
              0.02307,
              0.01595,
              0.00183,
              -0.02632,
              -0.08243,
              -0.19454
            ],
            [
              0.03069,
              0.02354,
              0.01641,
              0.00224,
              -0.02597,
              -0.08215,
              -0.1943
            ],
            [
              0.03096,
              0.02386,
              0.01675,
              0.00256,
              -0.02568,
              -0.0819,
              -0.19411
            ],
            [
              0.03091,
              0.02388,
              0.01681,
              0.0027,
              -0.0255,
              -0.08172,
              -0.19392
            ],
            [
              0.03002,
              0.02314,
              0.01622,
              0.00227,
              -0.0258,
              -0.08187,
              -0.194
            ],
            [
              0.02794,
              0.02129,
              0.01453,
              0.00091,
              -0.02675,
              -0.08247,
              -0.19432
            ],
            [
              0.02416,
              0.01745,
              0.01096,
              -0.00224,
              -0.02931,
              -0.08434,
              -0.19557
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10024,
              0.10759,
              0.11471,
              0.12879,
              0.15644,
              0.21176,
              0.32306
            ],
            [
              0.10006,
              0.1075,
              0.11466,
              0.12863,
              0.1564,
              0.2119,
              0.32341
            ],
            [
              0.0999,
              0.10733,
              0.11459,
              0.12866,
              0.15657,
              0.21189,
              0.32303
            ],
            [
              0.09949,
              0.10704,
              0.11431,
              0.12853,
              0.15636,
              0.21177,
              0.32319
            ],
            [
              0.09909,
              0.10666,
              0.11397,
              0.12824,
              0.15629,
              0.21178,
              0.32342
            ],
            [
              0.09872,
              0.10625,
              0.11356,
              0.12798,
              0.15609,
              0.21182,
              0.32317
            ],
            [
              0.09827,
              0.10573,
              0.11309,
              0.12746,
              0.15564,
              0.21136,
              0.32325
            ],
            [
              0.09792,
              0.10527,
              0.11261,
              0.12699,
              0.15535,
              0.21115,
              0.32316
            ],
            [
              0.09769,
              0.10495,
              0.11217,
              0.12643,
              0.15469,
              0.2108,
              0.32299
            ],
            [
              0.09781,
              0.10488,
              0.11193,
              0.1261,
              0.15435,
              0.21034,
              0.3222
            ],
            [
              0.09823,
              0.10524,
              0.11222,
              0.12611,
              0.15408,
              0.20984,
              0.32195
            ],
            [
              0.09947,
              0.10635,
              0.11325,
              0.12702,
              0.15453,
              0.20985,
              0.32139
            ],
            [
              0.10261,
              0.10911,
              0.11576,
              0.12923,
              0.15647,
              0.21104,
              0.32189
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02815,
              0.02117,
              0.0142,
              0.00022,
              -0.02775,
              -0.08374,
              -0.19576
            ],
            [
              0.02841,
              0.02142,
              0.01444,
              0.00048,
              -0.02749,
              -0.08348,
              -0.1955
            ],
            [
              0.02863,
              0.02167,
              0.01469,
              0.00072,
              -0.02721,
              -0.0832,
              -0.19522
            ],
            [
              0.02894,
              0.0219,
              0.01498,
              0.00101,
              -0.02697,
              -0.08297,
              -0.19497
            ],
            [
              0.0293,
              0.02227,
              0.01524,
              0.00123,
              -0.02675,
              -0.08273,
              -0.19476
            ],
            [
              0.02964,
              0.02262,
              0.01559,
              0.00155,
              -0.02647,
              -0.0825,
              -0.19451
            ],
            [
              0.03012,
              0.02304,
              0.01599,
              0.0019,
              -0.02617,
              -0.08225,
              -0.1943
            ],
            [
              0.0306,
              0.02348,
              0.0164,
              0.00228,
              -0.02586,
              -0.08198,
              -0.19408
            ],
            [
              0.03103,
              0.02391,
              0.0168,
              0.00265,
              -0.02555,
              -0.08174,
              -0.1939
            ],
            [
              0.03128,
              0.0242,
              0.01712,
              0.00298,
              -0.02524,
              -0.08148,
              -0.19367
            ],
            [
              0.03101,
              0.02401,
              0.01699,
              0.00293,
              -0.02521,
              -0.08142,
              -0.19361
            ],
            [
              0.0298,
              0.02296,
              0.01606,
              0.0022,
              -0.02571,
              -0.08169,
              -0.19376
            ],
            [
              0.02678,
              0.0202,
              0.01352,
              0.0,
              -0.02745,
              -0.08294,
              -0.19457
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.11222,
              0.11919,
              0.12612,
              0.13996,
              0.16762,
              0.22282,
              0.33402
            ],
            [
              0.11199,
              0.11892,
              0.12593,
              0.13979,
              0.16749,
              0.22268,
              0.33387
            ],
            [
              0.11182,
              0.11883,
              0.12585,
              0.13972,
              0.16738,
              0.22278,
              0.33382
            ],
            [
              0.11149,
              0.11862,
              0.12564,
              0.1396,
              0.16733,
              0.22268,
              0.33374
            ],
            [
              0.11119,
              0.11833,
              0.12538,
              0.13941,
              0.16715,
              0.22256,
              0.33357
            ],
            [
              0.11082,
              0.11799,
              0.12509,
              0.13922,
              0.167,
              0.22238,
              0.33374
            ],
            [
              0.1104,
              0.1176,
              0.12471,
              0.13881,
              0.16676,
              0.22235,
              0.33378
            ],
            [
              0.11006,
              0.11719,
              0.1243,
              0.13847,
              0.16639,
              0.22209,
              0.33357
            ],
            [
              0.10976,
              0.11689,
              0.12399,
              0.13809,
              0.16609,
              0.22172,
              0.33355
            ],
            [
              0.10974,
              0.11673,
              0.1238,
              0.13789,
              0.16588,
              0.2216,
              0.33286
            ],
            [
              0.1101,
              0.11707,
              0.12398,
              0.13778,
              0.16569,
              0.22119,
              0.33305
            ],
            [
              0.11117,
              0.11805,
              0.12495,
              0.13871,
              0.16619,
              0.22135,
              0.33273
            ],
            [
              0.11396,
              0.12061,
              0.12736,
              0.14087,
              0.1681,
              0.22263,
              0.33345
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02873,
              0.02175,
              0.01477,
              0.00081,
              -0.02716,
              -0.08314,
              -0.19515
            ],
            [
              0.02897,
              0.02199,
              0.01501,
              0.00104,
              -0.02692,
              -0.08289,
              -0.19489
            ],
            [
              0.02919,
              0.02221,
              0.01523,
              0.00127,
              -0.02671,
              -0.08268,
              -0.19469
            ],
            [
              0.02941,
              0.02242,
              0.01543,
              0.00146,
              -0.02652,
              -0.08249,
              -0.19449
            ],
            [
              0.02976,
              0.02271,
              0.01574,
              0.00176,
              -0.02626,
              -0.08225,
              -0.19425
            ],
            [
              0.03014,
              0.0231,
              0.01606,
              0.00203,
              -0.02599,
              -0.08201,
              -0.19402
            ],
            [
              0.03058,
              0.0235,
              0.01645,
              0.00237,
              -0.0257,
              -0.08178,
              -0.19383
            ],
            [
              0.03103,
              0.02393,
              0.01683,
              0.00273,
              -0.02541,
              -0.08152,
              -0.19363
            ],
            [
              0.03144,
              0.02433,
              0.01723,
              0.00308,
              -0.02511,
              -0.08129,
              -0.19344
            ],
            [
              0.03169,
              0.0246,
              0.01753,
              0.0034,
              -0.02481,
              -0.08103,
              -0.19322
            ],
            [
              0.03142,
              0.02441,
              0.01739,
              0.00334,
              -0.02479,
              -0.08099,
              -0.19318
            ],
            [
              0.03021,
              0.02335,
              0.01645,
              0.00256,
              -0.02535,
              -0.08132,
              -0.19338
            ],
            [
              0.02706,
              0.02044,
              0.01373,
              0.00017,
              -0.02729,
              -0.08275,
              -0.19434
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12209,
              0.12903,
              0.13599,
              0.14978,
              0.17745,
              0.23265,
              0.34374
            ],
            [
              0.12192,
              0.12889,
              0.13586,
              0.14966,
              0.17723,
              0.23272,
              0.34341
            ],
            [
              0.1218,
              0.12876,
              0.13573,
              0.14961,
              0.17713,
              0.23244,
              0.34333
            ],
            [
              0.12166,
              0.12863,
              0.13561,
              0.14945,
              0.17718,
              0.23236,
              0.34347
            ],
            [
              0.12146,
              0.12845,
              0.13542,
              0.14937,
              0.17706,
              0.23222,
              0.34322
            ],
            [
              0.12127,
              0.12824,
              0.13526,
              0.14922,
              0.1769,
              0.2323,
              0.34326
            ],
            [
              0.12104,
              0.12806,
              0.13502,
              0.14902,
              0.17673,
              0.23217,
              0.34307
            ],
            [
              0.12086,
              0.12788,
              0.13487,
              0.14877,
              0.17664,
              0.23193,
              0.34317
            ],
            [
              0.12068,
              0.12771,
              0.13475,
              0.14869,
              0.17645,
              0.2318,
              0.34308
            ],
            [
              0.12075,
              0.1277,
              0.13477,
              0.14863,
              0.17642,
              0.23172,
              0.34301
            ],
            [
              0.12112,
              0.12803,
              0.13491,
              0.14865,
              0.1764,
              0.23196,
              0.34283
            ],
            [
              0.1224,
              0.12926,
              0.13608,
              0.14978,
              0.17716,
              0.23213,
              0.34317
            ],
            [
              0.12551,
              0.13214,
              0.13885,
              0.15234,
              0.17937,
              0.23369,
              0.34392
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.01069,
              0.0032,
              -0.00394,
              -0.01809,
              -0.04627,
              -0.10236,
              -0.2144
            ],
            [
              0.01108,
              0.00353,
              -0.00379,
              -0.01801,
              -0.04626,
              -0.10251,
              -0.21445
            ],
            [
              0.01141,
              0.00375,
              -0.00358,
              -0.01793,
              -0.0463,
              -0.10247,
              -0.21449
            ],
            [
              0.01182,
              0.00414,
              -0.00331,
              -0.01777,
              -0.04617,
              -0.10245,
              -0.21456
            ],
            [
              0.01225,
              0.00452,
              -0.00298,
              -0.01749,
              -0.04598,
              -0.10236,
              -0.21452
            ],
            [
              0.01267,
              0.00496,
              -0.00254,
              -0.01715,
              -0.04575,
              -0.1022,
              -0.21448
            ],
            [
              0.01298,
              0.00539,
              -0.0021,
              -0.01675,
              -0.04544,
              -0.102,
              -0.21436
            ],
            [
              0.01307,
              0.00566,
              -0.00173,
              -0.01634,
              -0.0451,
              -0.10176,
              -0.21421
            ],
            [
              0.01276,
              0.00561,
              -0.00163,
              -0.0161,
              -0.04483,
              -0.10151,
              -0.21406
            ],
            [
              0.01175,
              0.00493,
              -0.00208,
              -0.01625,
              -0.04474,
              -0.10135,
              -0.21393
            ],
            [
              0.00968,
              0.00326,
              -0.00345,
              -0.01718,
              -0.0452,
              -0.10153,
              -0.21396
            ],
            [
              0.00592,
              -2e-05,
              -0.00633,
              -0.01948,
              -0.04677,
              -0.10244,
              -0.21446
            ],
            [
              0.01019,
              0.00156,
              -0.00665,
              -0.02231,
              -0.05011,
              -0.10473,
              -0.2159
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04787,
              0.05531,
              0.0625,
              0.07661,
              0.10448,
              0.15998,
              0.27104
            ],
            [
              0.04745,
              0.05513,
              0.06239,
              0.07644,
              0.10438,
              0.15998,
              0.27096
            ],
            [
              0.04716,
              0.05479,
              0.06206,
              0.07631,
              0.10432,
              0.15989,
              0.27087
            ],
            [
              0.04679,
              0.05438,
              0.0618,
              0.07612,
              0.10423,
              0.15968,
              0.27105
            ],
            [
              0.04643,
              0.05405,
              0.06137,
              0.07582,
              0.10398,
              0.15968,
              0.27087
            ],
            [
              0.04622,
              0.05362,
              0.06093,
              0.07538,
              0.10367,
              0.15947,
              0.27062
            ],
            [
              0.04612,
              0.05341,
              0.06064,
              0.07502,
              0.10332,
              0.15912,
              0.27054
            ],
            [
              0.04643,
              0.05345,
              0.06056,
              0.07475,
              0.10297,
              0.15883,
              0.27028
            ],
            [
              0.0472,
              0.05403,
              0.06091,
              0.07485,
              0.10283,
              0.15847,
              0.27025
            ],
            [
              0.04866,
              0.05535,
              0.06203,
              0.07556,
              0.10319,
              0.15855,
              0.26966
            ],
            [
              0.05106,
              0.05756,
              0.06416,
              0.07736,
              0.10436,
              0.15914,
              0.26982
            ],
            [
              0.05504,
              0.06125,
              0.06765,
              0.0807,
              0.1071,
              0.16107,
              0.27084
            ],
            [
              0.06158,
              0.06728,
              0.07339,
              0.08605,
              0.11204,
              0.16485,
              0.27341
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.01057,
              0.00333,
              -0.00378,
              -0.01788,
              -0.046,
              -0.10208,
              -0.21409
            ],
            [
              0.01085,
              0.00347,
              -0.00372,
              -0.01788,
              -0.04605,
              -0.10215,
              -0.21417
            ],
            [
              0.01117,
              0.00365,
              -0.0036,
              -0.01785,
              -0.04605,
              -0.1022,
              -0.21426
            ],
            [
              0.01159,
              0.00396,
              -0.0034,
              -0.01779,
              -0.04611,
              -0.10227,
              -0.21438
            ],
            [
              0.01208,
              0.00438,
              -0.00307,
              -0.01753,
              -0.04594,
              -0.10223,
              -0.21437
            ],
            [
              0.0126,
              0.00487,
              -0.00263,
              -0.01718,
              -0.04572,
              -0.10209,
              -0.21431
            ],
            [
              0.01306,
              0.0054,
              -0.0021,
              -0.01674,
              -0.0454,
              -0.1019,
              -0.21421
            ],
            [
              0.01338,
              0.00583,
              -0.00162,
              -0.01627,
              -0.04502,
              -0.10165,
              -0.21406
            ],
            [
              0.01337,
              0.00601,
              -0.00132,
              -0.01587,
              -0.04462,
              -0.10135,
              -0.21389
            ],
            [
              0.01279,
              0.00568,
              -0.00147,
              -0.01579,
              -0.0444,
              -0.10112,
              -0.21372
            ],
            [
              0.01122,
              0.00446,
              -0.00243,
              -0.0164,
              -0.04463,
              -0.10114,
              -0.21368
            ],
            [
              0.00795,
              0.00165,
              -0.00489,
              -0.01833,
              -0.0459,
              -0.10183,
              -0.21405
            ],
            [
              0.00811,
              -0.00018,
              -0.00814,
              -0.02255,
              -0.04908,
              -0.10391,
              -0.21531
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.06038,
              0.06748,
              0.07445,
              0.08839,
              0.11609,
              0.17134,
              0.28224
            ],
            [
              0.06005,
              0.06716,
              0.07414,
              0.08797,
              0.11581,
              0.17104,
              0.28187
            ],
            [
              0.05967,
              0.06682,
              0.07385,
              0.08795,
              0.11564,
              0.17098,
              0.28199
            ],
            [
              0.05935,
              0.06658,
              0.07369,
              0.08772,
              0.11553,
              0.17087,
              0.28177
            ],
            [
              0.05905,
              0.06625,
              0.07341,
              0.08747,
              0.11536,
              0.17075,
              0.28161
            ],
            [
              0.05877,
              0.06598,
              0.07306,
              0.08719,
              0.11518,
              0.17057,
              0.28172
            ],
            [
              0.05868,
              0.06579,
              0.0729,
              0.08698,
              0.11494,
              0.17034,
              0.28163
            ],
            [
              0.05888,
              0.0659,
              0.0729,
              0.0869,
              0.11477,
              0.17025,
              0.28145
            ],
            [
              0.05961,
              0.06643,
              0.0733,
              0.08722,
              0.11493,
              0.17017,
              0.2813
            ],
            [
              0.06119,
              0.06783,
              0.07456,
              0.08817,
              0.11557,
              0.17063,
              0.28137
            ],
            [
              0.06374,
              0.07028,
              0.07689,
              0.09011,
              0.11703,
              0.17152,
              0.28197
            ],
            [
              0.06806,
              0.07439,
              0.08085,
              0.09381,
              0.12004,
              0.17372,
              0.28322
            ],
            [
              0.07502,
              0.08109,
              0.08732,
              0.09996,
              0.12575,
              0.17827,
              0.28631
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.11463,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10568,
              0.12541,
              0.1444,
              0.18116,
              0.25236,
              0.39128,
              0.66511
            ],
            [
              0.1077,
              0.12745,
              0.14647,
              0.18325,
              0.25446,
              0.39335,
              0.66724
            ],
            [
              0.11016,
              0.12995,
              0.149,
              0.1858,
              0.25704,
              0.39598,
              0.66976
            ],
            [
              0.11399,
              0.13384,
              0.15293,
              0.18977,
              0.26105,
              0.39993,
              0.67387
            ],
            [
              0.11995,
              0.13988,
              0.15904,
              0.196,
              0.26738,
              0.40641,
              0.68035
            ],
            [
              0.12925,
              0.14927,
              0.16848,
              0.20552,
              0.27702,
              0.41615,
              0.69026
            ],
            [
              0.14358,
              0.16365,
              0.18293,
              0.22009,
              0.29173,
              0.43103,
              0.70523
            ],
            [
              0.16627,
              0.18595,
              0.20528,
              0.24245,
              0.31413,
              0.45363,
              0.72796
            ],
            [
              0.19873,
              0.22035,
              0.24009,
              0.27671,
              0.34838,
              0.48791,
              0.76235
            ],
            [
              0.23785,
              0.26326,
              0.28637,
              0.32789,
              0.40059,
              0.53982,
              0.81439
            ],
            [
              0.28413,
              0.31428,
              0.34169,
              0.39112,
              0.47612,
              0.61882,
              0.89282
            ],
            [
              0.33857,
              0.37437,
              0.40707,
              0.46617,
              0.56747,
              0.73427,
              1.01217
            ],
            [
              0.4027,
              0.4451,
              0.4841,
              0.5545,
              0.676,
              0.8756,
              1.1911
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10534,
              0.12973,
              0.15269,
              0.19715,
              0.28481,
              0.45837,
              0.80472
            ],
            [
              0.10737,
              0.13202,
              0.15525,
              0.19991,
              0.28779,
              0.46157,
              0.80784
            ],
            [
              0.10994,
              0.13486,
              0.15822,
              0.20316,
              0.2912,
              0.46511,
              0.81115
            ],
            [
              0.1141,
              0.13898,
              0.16259,
              0.20777,
              0.29613,
              0.47024,
              0.81688
            ],
            [
              0.12061,
              0.14558,
              0.16923,
              0.21472,
              0.30331,
              0.47776,
              0.82454
            ],
            [
              0.13063,
              0.15548,
              0.17915,
              0.22486,
              0.31377,
              0.48859,
              0.8357
            ],
            [
              0.14542,
              0.17016,
              0.19379,
              0.23953,
              0.32869,
              0.5039,
              0.8513
            ],
            [
              0.16519,
              0.19123,
              0.21494,
              0.26058,
              0.34985,
              0.52536,
              0.87336
            ],
            [
              0.18567,
              0.21692,
              0.24418,
              0.29139,
              0.38094,
              0.5566,
              0.90445
            ],
            [
              0.20703,
              0.24465,
              0.27681,
              0.3326,
              0.42684,
              0.6028,
              0.95129
            ],
            [
              0.22674,
              0.27353,
              0.31293,
              0.37956,
              0.48962,
              0.67212,
              1.02082
            ],
            [
              0.24327,
              0.30147,
              0.35027,
              0.43197,
              0.56347,
              0.77277,
              1.12577
            ],
            [
              0.2587,
              0.3292,
              0.3887,
              0.4888,
              0.6484,
              0.8957,
              1.2839
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10956,
              0.1328,
              0.15635,
              0.20322,
              0.29761,
              0.48699,
              0.86852
            ],
            [
              0.1096,
              0.13297,
              0.15636,
              0.20314,
              0.29771,
              0.48738,
              0.86807
            ],
            [
              0.10963,
              0.13292,
              0.15632,
              0.20308,
              0.29769,
              0.48718,
              0.86836
            ],
            [
              0.10978,
              0.13291,
              0.15639,
              0.20305,
              0.29731,
              0.48706,
              0.86853
            ],
            [
              0.11005,
              0.13308,
              0.15644,
              0.20326,
              0.29733,
              0.48738,
              0.86859
            ],
            [
              0.10853,
              0.13303,
              0.15635,
              0.20333,
              0.29735,
              0.48765,
              0.86813
            ],
            [
              0.10758,
              0.13105,
              0.15499,
              0.2031,
              0.29764,
              0.48752,
              0.86793
            ],
            [
              0.11224,
              0.13409,
              0.15652,
              0.20218,
              0.29747,
              0.48754,
              0.86828
            ],
            [
              0.12616,
              0.14634,
              0.16694,
              0.20926,
              0.29876,
              0.48685,
              0.86853
            ],
            [
              0.14512,
              0.16925,
              0.19118,
              0.23076,
              0.31288,
              0.48947,
              0.86843
            ],
            [
              0.17236,
              0.19984,
              0.22445,
              0.26917,
              0.34799,
              0.51058,
              0.8689
            ],
            [
              0.2105,
              0.2423,
              0.2707,
              0.3208,
              0.4089,
              0.5638,
              0.8954
            ],
            [
              0.2618,
              0.2997,
              0.3328,
              0.391,
              0.4907,
              0.6593,
              0.9667
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.08353,
              0.11485,
              0.14673,
              0.20964,
              0.33529,
              0.58679,
              1.08733
            ],
            [
              0.08364,
              0.11501,
              0.14674,
              0.20974,
              0.33587,
              0.58714,
              1.08666
            ],
            [
              0.08372,
              0.11509,
              0.14674,
              0.2099,
              0.33563,
              0.58714,
              1.08792
            ],
            [
              0.08375,
              0.11504,
              0.14675,
              0.20969,
              0.33543,
              0.58709,
              1.08748
            ],
            [
              0.08395,
              0.11501,
              0.1467,
              0.20991,
              0.33558,
              0.58717,
              1.0862
            ],
            [
              0.08413,
              0.11514,
              0.1466,
              0.20956,
              0.33588,
              0.58685,
              1.08855
            ],
            [
              0.08524,
              0.11569,
              0.14691,
              0.21002,
              0.33595,
              0.58646,
              1.0881
            ],
            [
              0.093,
              0.12012,
              0.14955,
              0.21032,
              0.33593,
              0.58665,
              1.0882
            ],
            [
              0.11233,
              0.1356,
              0.16177,
              0.21813,
              0.33708,
              0.58677,
              1.08783
            ],
            [
              0.14153,
              0.16639,
              0.19042,
              0.23951,
              0.35022,
              0.58815,
              1.08703
            ],
            [
              0.18125,
              0.20807,
              0.23444,
              0.28518,
              0.38293,
              0.605,
              1.0869
            ],
            [
              0.23606,
              0.2656,
              0.2944,
              0.3494,
              0.4513,
              0.65,
              1.1047
            ],
            [
              0.3104,
              0.3424,
              0.3745,
              0.4355,
              0.5465,
              0.7463,
              1.1613
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.08065,
              0.1014,
              0.12101,
              0.15843,
              0.23015,
              0.3693,
              0.64332
            ],
            [
              0.08258,
              0.10336,
              0.12298,
              0.16042,
              0.23216,
              0.37138,
              0.64536
            ],
            [
              0.08494,
              0.10576,
              0.12542,
              0.16288,
              0.23465,
              0.3738,
              0.64797
            ],
            [
              0.08861,
              0.10953,
              0.12924,
              0.16676,
              0.23855,
              0.37779,
              0.65185
            ],
            [
              0.0944,
              0.11547,
              0.13525,
              0.17285,
              0.24474,
              0.38404,
              0.65822
            ],
            [
              0.10358,
              0.12472,
              0.14455,
              0.18228,
              0.25429,
              0.39367,
              0.66793
            ],
            [
              0.11836,
              0.13918,
              0.15898,
              0.19682,
              0.26894,
              0.40849,
              0.68287
            ],
            [
              0.14161,
              0.16268,
              0.18167,
              0.21925,
              0.29144,
              0.43111,
              0.70551
            ],
            [
              0.16973,
              0.1943,
              0.21594,
              0.25404,
              0.32572,
              0.46547,
              0.73996
            ],
            [
              0.20313,
              0.23211,
              0.25774,
              0.30267,
              0.3783,
              0.51755,
              0.79199
            ],
            [
              0.24228,
              0.27672,
              0.30722,
              0.36073,
              0.45032,
              0.59662,
              0.87052
            ],
            [
              0.28807,
              0.32887,
              0.36517,
              0.42927,
              0.53677,
              0.70947,
              0.98997
            ],
            [
              0.3415,
              0.3899,
              0.4333,
              0.5098,
              0.6387,
              0.8458,
              1.168
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.11578,
              0.14584,
              0.17441,
              0.23016,
              0.33983,
              0.55844,
              0.99427
            ],
            [
              0.11762,
              0.14808,
              0.1769,
              0.23294,
              0.34295,
              0.56168,
              0.99754
            ],
            [
              0.12007,
              0.1507,
              0.17976,
              0.23607,
              0.34644,
              0.56513,
              1.00132
            ],
            [
              0.12388,
              0.15482,
              0.18402,
              0.24063,
              0.35111,
              0.57019,
              1.00668
            ],
            [
              0.13011,
              0.16103,
              0.19043,
              0.24721,
              0.3584,
              0.57754,
              1.01411
            ],
            [
              0.13983,
              0.17049,
              0.19995,
              0.25699,
              0.36848,
              0.58822,
              1.02522
            ],
            [
              0.15387,
              0.18439,
              0.21371,
              0.27073,
              0.38269,
              0.60283,
              1.03983
            ],
            [
              0.17256,
              0.20383,
              0.23317,
              0.29006,
              0.40211,
              0.6228,
              1.06076
            ],
            [
              0.19163,
              0.22805,
              0.25998,
              0.31757,
              0.42946,
              0.65053,
              1.08865
            ],
            [
              0.2117,
              0.25335,
              0.29,
              0.35544,
              0.46947,
              0.69019,
              1.12959
            ],
            [
              0.23065,
              0.28061,
              0.32352,
              0.39822,
              0.52632,
              0.74972,
              1.18882
            ],
            [
              0.24737,
              0.30827,
              0.35957,
              0.44717,
              0.59397,
              0.83877,
              1.27807
            ],
            [
              0.2631,
              0.3365,
              0.3984,
              0.5031,
              0.674,
              0.9523,
              1.4137
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09541,
              0.11761,
              0.14054,
              0.18667,
              0.2806,
              0.4697,
              0.84915
            ],
            [
              0.09548,
              0.11771,
              0.1405,
              0.18661,
              0.2807,
              0.47001,
              0.85042
            ],
            [
              0.0955,
              0.11766,
              0.14041,
              0.18675,
              0.2807,
              0.46998,
              0.85044
            ],
            [
              0.09516,
              0.11759,
              0.14037,
              0.18672,
              0.28037,
              0.46999,
              0.85046
            ],
            [
              0.0934,
              0.11711,
              0.14005,
              0.1866,
              0.28066,
              0.4699,
              0.8499
            ],
            [
              0.09086,
              0.11481,
              0.13928,
              0.18636,
              0.28034,
              0.4696,
              0.84925
            ],
            [
              0.09195,
              0.11451,
              0.13771,
              0.18516,
              0.28048,
              0.46973,
              0.85042
            ],
            [
              0.09898,
              0.11997,
              0.14127,
              0.18583,
              0.27921,
              0.46993,
              0.85035
            ],
            [
              0.1128,
              0.13483,
              0.15444,
              0.1955,
              0.28236,
              0.46972,
              0.84953
            ],
            [
              0.13069,
              0.1562,
              0.17907,
              0.21926,
              0.29895,
              0.4738,
              0.84955
            ],
            [
              0.15725,
              0.1862,
              0.2117,
              0.25743,
              0.3371,
              0.4974,
              0.8527
            ],
            [
              0.19392,
              0.2279,
              0.2572,
              0.309,
              0.3979,
              0.5535,
              0.8807
            ],
            [
              0.2438,
              0.2842,
              0.3188,
              0.3783,
              0.4794,
              0.6495,
              0.9552
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07842,
              0.1182,
              0.15768,
              0.23733,
              0.39491,
              0.71169,
              1.34326
            ],
            [
              0.07848,
              0.11811,
              0.1579,
              0.23733,
              0.39553,
              0.71194,
              1.3423
            ],
            [
              0.07874,
              0.11816,
              0.1579,
              0.23729,
              0.3959,
              0.71116,
              1.34435
            ],
            [
              0.07846,
              0.11797,
              0.15767,
              0.23733,
              0.39509,
              0.71156,
              1.34424
            ],
            [
              0.0787,
              0.11832,
              0.1577,
              0.23705,
              0.3956,
              0.71117,
              1.3413
            ],
            [
              0.07938,
              0.11848,
              0.1578,
              0.23688,
              0.39505,
              0.71158,
              1.34275
            ],
            [
              0.08014,
              0.11904,
              0.15813,
              0.23704,
              0.39582,
              0.71102,
              1.34271
            ],
            [
              0.08691,
              0.12256,
              0.16004,
              0.23762,
              0.39586,
              0.71095,
              1.34384
            ],
            [
              0.10392,
              0.13581,
              0.17041,
              0.24338,
              0.39577,
              0.71169,
              1.34192
            ],
            [
              0.12581,
              0.16105,
              0.19402,
              0.26114,
              0.40593,
              0.71139,
              1.34426
            ],
            [
              0.15726,
              0.19406,
              0.2302,
              0.29878,
              0.43134,
              0.72376,
              1.3432
            ],
            [
              0.20227,
              0.242,
              0.2804,
              0.3526,
              0.4877,
              0.7585,
              1.3518
            ],
            [
              0.2649,
              0.308,
              0.3492,
              0.427,
              0.5704,
              0.8339,
              1.3921
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.08311,
              0.10374,
              0.12337,
              0.16086,
              0.23282,
              0.37244,
              0.64728
            ],
            [
              0.08505,
              0.10569,
              0.12533,
              0.16282,
              0.23478,
              0.37443,
              0.64936
            ],
            [
              0.08739,
              0.10808,
              0.1277,
              0.16526,
              0.23725,
              0.3769,
              0.65178
            ],
            [
              0.09108,
              0.11185,
              0.13156,
              0.16914,
              0.24113,
              0.38083,
              0.6558
            ],
            [
              0.09691,
              0.11779,
              0.13756,
              0.17523,
              0.2473,
              0.38706,
              0.66204
            ],
            [
              0.10602,
              0.12703,
              0.14686,
              0.18464,
              0.25687,
              0.39669,
              0.67171
            ],
            [
              0.12065,
              0.14146,
              0.16132,
              0.19917,
              0.27158,
              0.41158,
              0.68665
            ],
            [
              0.14422,
              0.1649,
              0.18392,
              0.22163,
              0.29407,
              0.43418,
              0.7094
            ],
            [
              0.17309,
              0.19712,
              0.21851,
              0.25637,
              0.32833,
              0.46858,
              0.74387
            ],
            [
              0.20756,
              0.23585,
              0.26112,
              0.30562,
              0.38095,
              0.52063,
              0.79599
            ],
            [
              0.24817,
              0.28166,
              0.31171,
              0.3647,
              0.45372,
              0.59992,
              0.87442
            ],
            [
              0.29597,
              0.33557,
              0.37127,
              0.43457,
              0.54127,
              0.71347,
              0.99407
            ],
            [
              0.3522,
              0.3991,
              0.4415,
              0.517,
              0.6448,
              0.8511,
              1.1726
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.15186,
              0.18156,
              0.2104,
              0.26675,
              0.37804,
              0.59887,
              1.03897
            ],
            [
              0.15434,
              0.18418,
              0.21312,
              0.26974,
              0.3812,
              0.6021,
              1.04234
            ],
            [
              0.15722,
              0.1872,
              0.21623,
              0.27292,
              0.38465,
              0.60575,
              1.04582
            ],
            [
              0.16148,
              0.19159,
              0.22073,
              0.27766,
              0.38961,
              0.61094,
              1.05118
            ],
            [
              0.1679,
              0.19813,
              0.22739,
              0.2846,
              0.3968,
              0.6183,
              1.05891
            ],
            [
              0.1775,
              0.20777,
              0.23713,
              0.29452,
              0.40705,
              0.62902,
              1.06982
            ],
            [
              0.19125,
              0.22148,
              0.25087,
              0.30837,
              0.42121,
              0.64355,
              1.08473
            ],
            [
              0.21054,
              0.24068,
              0.26998,
              0.32751,
              0.44054,
              0.66335,
              1.10516
            ],
            [
              0.2356,
              0.26756,
              0.29714,
              0.35456,
              0.46763,
              0.69073,
              1.13305
            ],
            [
              0.26195,
              0.29859,
              0.33229,
              0.39373,
              0.50694,
              0.73019,
              1.17279
            ],
            [
              0.29086,
              0.33328,
              0.37169,
              0.44137,
              0.56492,
              0.78852,
              1.23162
            ],
            [
              0.32107,
              0.37147,
              0.41647,
              0.49677,
              0.63667,
              0.87667,
              1.31957
            ],
            [
              0.3524,
              0.4128,
              0.4666,
              0.5612,
              0.7225,
              0.9933,
              1.4531
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.13317,
              0.15377,
              0.17549,
              0.2205,
              0.31293,
              0.50063,
              0.88114
            ],
            [
              0.13315,
              0.1537,
              0.17532,
              0.22044,
              0.31255,
              0.50049,
              0.88125
            ],
            [
              0.13304,
              0.15362,
              0.17529,
              0.22037,
              0.31278,
              0.5007,
              0.88107
            ],
            [
              0.13254,
              0.15348,
              0.17528,
              0.2203,
              0.31246,
              0.50039,
              0.88123
            ],
            [
              0.13009,
              0.15286,
              0.17492,
              0.22017,
              0.31248,
              0.50077,
              0.88126
            ],
            [
              0.12781,
              0.15026,
              0.17391,
              0.21981,
              0.31245,
              0.50084,
              0.88127
            ],
            [
              0.12898,
              0.15002,
              0.17211,
              0.21862,
              0.31247,
              0.50052,
              0.88124
            ],
            [
              0.13612,
              0.15548,
              0.17585,
              0.21937,
              0.31167,
              0.50058,
              0.88128
            ],
            [
              0.15261,
              0.17033,
              0.18913,
              0.22893,
              0.31496,
              0.50058,
              0.88077
            ],
            [
              0.17655,
              0.19677,
              0.21621,
              0.25269,
              0.33156,
              0.5045,
              0.88115
            ],
            [
              0.21008,
              0.23259,
              0.25395,
              0.2947,
              0.36957,
              0.52841,
              0.8836
            ],
            [
              0.25649,
              0.2821,
              0.3065,
              0.3515,
              0.4341,
              0.5845,
              0.9115
            ],
            [
              0.3192,
              0.3494,
              0.3774,
              0.4289,
              0.5212,
              0.6829,
              0.9858
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.11051,
              0.1518,
              0.19278,
              0.27463,
              0.4375,
              0.76127,
              1.41114
            ],
            [
              0.11058,
              0.15174,
              0.19277,
              0.27441,
              0.43759,
              0.76109,
              1.40932
            ],
            [
              0.11038,
              0.15159,
              0.19256,
              0.27458,
              0.43686,
              0.76243,
              1.41066
            ],
            [
              0.11054,
              0.1516,
              0.1929,
              0.27459,
              0.4369,
              0.76253,
              1.4107
            ],
            [
              0.11067,
              0.15167,
              0.19288,
              0.27436,
              0.43751,
              0.76242,
              1.40965
            ],
            [
              0.11077,
              0.15178,
              0.19269,
              0.27468,
              0.43711,
              0.76218,
              1.40897
            ],
            [
              0.11116,
              0.15184,
              0.19278,
              0.27471,
              0.43751,
              0.76171,
              1.41099
            ],
            [
              0.11367,
              0.15324,
              0.19368,
              0.27477,
              0.43684,
              0.76245,
              1.40848
            ],
            [
              0.12539,
              0.16235,
              0.20026,
              0.27763,
              0.43779,
              0.76086,
              1.4116
            ],
            [
              0.14888,
              0.1845,
              0.21879,
              0.29182,
              0.4444,
              0.76246,
              1.41096
            ],
            [
              0.1799,
              0.21858,
              0.2556,
              0.32441,
              0.46616,
              0.7711,
              1.4107
            ],
            [
              0.2249,
              0.266,
              0.3049,
              0.3793,
              0.5171,
              0.8019,
              1.4183
            ],
            [
              0.2874,
              0.3322,
              0.3742,
              0.4532,
              0.5998,
              0.8722,
              1.4547
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12249,
              0.1422,
              0.16121,
              0.19796,
              0.26917,
              0.40799,
              0.68184
            ],
            [
              0.12471,
              0.14444,
              0.16346,
              0.2002,
              0.27141,
              0.41026,
              0.68422
            ],
            [
              0.12752,
              0.14726,
              0.16628,
              0.20304,
              0.27424,
              0.41309,
              0.68703
            ],
            [
              0.13173,
              0.15149,
              0.17055,
              0.20733,
              0.27855,
              0.41741,
              0.69129
            ],
            [
              0.13765,
              0.15747,
              0.17655,
              0.21339,
              0.28467,
              0.42356,
              0.69749
            ],
            [
              0.14606,
              0.16599,
              0.18514,
              0.22207,
              0.29344,
              0.43242,
              0.70655
            ],
            [
              0.15849,
              0.17851,
              0.19773,
              0.2348,
              0.30631,
              0.44544,
              0.71965
            ],
            [
              0.1777,
              0.19752,
              0.21673,
              0.2539,
              0.32564,
              0.46496,
              0.73924
            ],
            [
              0.20412,
              0.2256,
              0.24573,
              0.2829,
              0.35473,
              0.49434,
              0.76885
            ],
            [
              0.23785,
              0.26163,
              0.28372,
              0.32463,
              0.39871,
              0.53852,
              0.81339
            ],
            [
              0.28015,
              0.30727,
              0.33227,
              0.37816,
              0.46022,
              0.60502,
              0.88022
            ],
            [
              0.33107,
              0.36297,
              0.39227,
              0.44537,
              0.53867,
              0.69937,
              0.98087
            ],
            [
              0.3907,
              0.4289,
              0.4639,
              0.5271,
              0.6365,
              0.8201,
              1.1287
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12836,
              0.1512,
              0.17351,
              0.21735,
              0.30404,
              0.47639,
              0.81982
            ],
            [
              0.13071,
              0.15365,
              0.17605,
              0.22001,
              0.30674,
              0.47913,
              0.82262
            ],
            [
              0.1335,
              0.15663,
              0.1791,
              0.22316,
              0.31,
              0.48245,
              0.82598
            ],
            [
              0.13786,
              0.16112,
              0.18368,
              0.22786,
              0.31494,
              0.48745,
              0.83107
            ],
            [
              0.14451,
              0.16796,
              0.19062,
              0.23506,
              0.32219,
              0.4949,
              0.83864
            ],
            [
              0.15472,
              0.17821,
              0.20097,
              0.2455,
              0.33298,
              0.50579,
              0.84973
            ],
            [
              0.1695,
              0.193,
              0.21581,
              0.26042,
              0.34809,
              0.52124,
              0.86532
            ],
            [
              0.19059,
              0.21418,
              0.23695,
              0.28163,
              0.36947,
              0.54281,
              0.88716
            ],
            [
              0.21636,
              0.24319,
              0.26737,
              0.31246,
              0.40029,
              0.57381,
              0.91865
            ],
            [
              0.24463,
              0.27598,
              0.30446,
              0.35569,
              0.44589,
              0.61958,
              0.96459
            ],
            [
              0.27434,
              0.31252,
              0.34638,
              0.40655,
              0.51002,
              0.68782,
              1.03292
            ],
            [
              0.30317,
              0.35027,
              0.39197,
              0.46467,
              0.58667,
              0.78797,
              1.13597
            ],
            [
              0.3323,
              0.3898,
              0.4406,
              0.5292,
              0.676,
              0.9116,
              1.291
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10948,
              0.1329,
              0.1563,
              0.20307,
              0.29776,
              0.48761,
              0.86854
            ],
            [
              0.10938,
              0.13288,
              0.15618,
              0.20318,
              0.29754,
              0.48717,
              0.86863
            ],
            [
              0.10939,
              0.13288,
              0.15616,
              0.2032,
              0.29754,
              0.48754,
              0.86854
            ],
            [
              0.10943,
              0.13288,
              0.15622,
              0.20315,
              0.2977,
              0.48749,
              0.86851
            ],
            [
              0.10941,
              0.13288,
              0.15614,
              0.20322,
              0.29777,
              0.48744,
              0.86855
            ],
            [
              0.10894,
              0.13252,
              0.15612,
              0.20298,
              0.29744,
              0.48751,
              0.86759
            ],
            [
              0.10882,
              0.13192,
              0.15558,
              0.20293,
              0.29735,
              0.48715,
              0.86794
            ],
            [
              0.11235,
              0.13472,
              0.15744,
              0.2034,
              0.29745,
              0.48747,
              0.86828
            ],
            [
              0.122,
              0.14301,
              0.16451,
              0.20867,
              0.29961,
              0.48741,
              0.8684
            ],
            [
              0.13741,
              0.1599,
              0.18156,
              0.22314,
              0.30915,
              0.49049,
              0.86822
            ],
            [
              0.16063,
              0.18473,
              0.20759,
              0.251,
              0.33388,
              0.50587,
              0.871
            ],
            [
              0.1951,
              0.2216,
              0.2463,
              0.2924,
              0.3791,
              0.5428,
              0.8897
            ],
            [
              0.244,
              0.274,
              0.3016,
              0.3523,
              0.4446,
              0.6133,
              0.9406
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10368,
              0.13534,
              0.16668,
              0.23016,
              0.35592,
              0.60619,
              1.10501
            ],
            [
              0.10366,
              0.13536,
              0.16668,
              0.22999,
              0.35597,
              0.60647,
              1.10574
            ],
            [
              0.10371,
              0.13528,
              0.16676,
              0.23011,
              0.35598,
              0.60643,
              1.10566
            ],
            [
              0.10363,
              0.13517,
              0.16693,
              0.23013,
              0.35529,
              0.60613,
              1.10684
            ],
            [
              0.1038,
              0.13516,
              0.16696,
              0.2298,
              0.35593,
              0.60557,
              1.1067
            ],
            [
              0.10369,
              0.13528,
              0.16696,
              0.23001,
              0.35559,
              0.60629,
              1.10562
            ],
            [
              0.10431,
              0.13563,
              0.16692,
              0.23015,
              0.35597,
              0.60589,
              1.10571
            ],
            [
              0.10863,
              0.13791,
              0.16841,
              0.23051,
              0.35563,
              0.60636,
              1.10499
            ],
            [
              0.12281,
              0.14955,
              0.1777,
              0.23604,
              0.35681,
              0.60629,
              1.10674
            ],
            [
              0.14985,
              0.17614,
              0.20125,
              0.25409,
              0.3676,
              0.60685,
              1.10675
            ],
            [
              0.18796,
              0.21612,
              0.24336,
              0.29483,
              0.39732,
              0.62245,
              1.105
            ],
            [
              0.2418,
              0.2726,
              0.3016,
              0.3571,
              0.46,
              0.6653,
              1.1224
            ],
            [
              0.313,
              0.3474,
              0.3805,
              0.4418,
              0.5533,
              0.7554,
              1.1745
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09749,
              0.11822,
              0.13782,
              0.17523,
              0.24694,
              0.38609,
              0.66016
            ],
            [
              0.09964,
              0.12037,
              0.13997,
              0.17738,
              0.24909,
              0.38825,
              0.66227
            ],
            [
              0.10234,
              0.12309,
              0.14269,
              0.18011,
              0.25183,
              0.391,
              0.66517
            ],
            [
              0.10644,
              0.12721,
              0.14685,
              0.18427,
              0.256,
              0.39517,
              0.66932
            ],
            [
              0.11224,
              0.13307,
              0.15273,
              0.19021,
              0.26199,
              0.40119,
              0.67529
            ],
            [
              0.12062,
              0.1415,
              0.16122,
              0.19879,
              0.27066,
              0.40993,
              0.68416
            ],
            [
              0.13342,
              0.15411,
              0.17383,
              0.21147,
              0.28348,
              0.42289,
              0.69715
            ],
            [
              0.15222,
              0.17362,
              0.19311,
              0.23064,
              0.30278,
              0.44241,
              0.71685
            ],
            [
              0.17602,
              0.19948,
              0.22089,
              0.25988,
              0.33194,
              0.4718,
              0.74641
            ],
            [
              0.20636,
              0.23261,
              0.25639,
              0.29945,
              0.37599,
              0.51604,
              0.79099
            ],
            [
              0.24333,
              0.27376,
              0.30106,
              0.34989,
              0.43508,
              0.58272,
              0.85802
            ],
            [
              0.28647,
              0.32277,
              0.35517,
              0.41247,
              0.51027,
              0.67497,
              0.95857
            ],
            [
              0.3358,
              0.3796,
              0.4186,
              0.4874,
              0.6031,
              0.7924,
              1.1053
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.14584,
              0.17451,
              0.20265,
              0.2581,
              0.36818,
              0.58726,
              1.02447
            ],
            [
              0.14806,
              0.1769,
              0.20509,
              0.26068,
              0.37084,
              0.58998,
              1.02724
            ],
            [
              0.15071,
              0.17975,
              0.20805,
              0.26378,
              0.37407,
              0.59332,
              1.03052
            ],
            [
              0.15482,
              0.18404,
              0.21254,
              0.26843,
              0.37887,
              0.59811,
              1.03558
            ],
            [
              0.16125,
              0.19064,
              0.21928,
              0.27539,
              0.38611,
              0.60568,
              1.04321
            ],
            [
              0.17097,
              0.20045,
              0.2292,
              0.28554,
              0.39647,
              0.6163,
              1.05392
            ],
            [
              0.18494,
              0.21441,
              0.24321,
              0.29967,
              0.41091,
              0.63103,
              1.06913
            ],
            [
              0.20445,
              0.23389,
              0.26262,
              0.31914,
              0.43052,
              0.65093,
              1.08926
            ],
            [
              0.22867,
              0.26067,
              0.28986,
              0.3464,
              0.45788,
              0.67851,
              1.11735
            ],
            [
              0.25446,
              0.29065,
              0.32409,
              0.38524,
              0.49709,
              0.71799,
              1.15709
            ],
            [
              0.28226,
              0.32424,
              0.36232,
              0.4315,
              0.55432,
              0.77602,
              1.21542
            ],
            [
              0.31057,
              0.36057,
              0.40527,
              0.48517,
              0.62417,
              0.86317,
              1.30237
            ],
            [
              0.3404,
              0.4003,
              0.4536,
              0.5474,
              0.7075,
              0.9768,
              1.4341
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09387,
              0.11677,
              0.13991,
              0.18635,
              0.28023,
              0.4694,
              0.85056
            ],
            [
              0.09379,
              0.11671,
              0.13986,
              0.18627,
              0.28053,
              0.47001,
              0.85036
            ],
            [
              0.09371,
              0.11665,
              0.13981,
              0.1864,
              0.28031,
              0.46976,
              0.85056
            ],
            [
              0.09355,
              0.11654,
              0.13973,
              0.18642,
              0.28013,
              0.46984,
              0.8505
            ],
            [
              0.09319,
              0.11634,
              0.13954,
              0.18628,
              0.28012,
              0.4699,
              0.85055
            ],
            [
              0.09223,
              0.11574,
              0.13925,
              0.18604,
              0.28033,
              0.46977,
              0.84953
            ],
            [
              0.09373,
              0.11597,
              0.13881,
              0.1858,
              0.28006,
              0.46945,
              0.85004
            ],
            [
              0.09849,
              0.11998,
              0.14198,
              0.18709,
              0.27989,
              0.46992,
              0.85053
            ],
            [
              0.10928,
              0.13009,
              0.15065,
              0.19371,
              0.28343,
              0.46908,
              0.8501
            ],
            [
              0.12428,
              0.14695,
              0.16861,
              0.2099,
              0.29449,
              0.47423,
              0.85041
            ],
            [
              0.14774,
              0.17202,
              0.195,
              0.23847,
              0.32095,
              0.49028,
              0.8539
            ],
            [
              0.182,
              0.209,
              0.2338,
              0.2804,
              0.367,
              0.5295,
              0.8743
            ],
            [
              0.2306,
              0.2614,
              0.2895,
              0.3406,
              0.4331,
              0.6017,
              0.9259
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10491,
              0.14544,
              0.1855,
              0.26598,
              0.42596,
              0.74485,
              1.38128
            ],
            [
              0.10488,
              0.14532,
              0.18559,
              0.26599,
              0.42595,
              0.74489,
              1.38129
            ],
            [
              0.10488,
              0.14546,
              0.18571,
              0.26601,
              0.42565,
              0.74404,
              1.38109
            ],
            [
              0.10485,
              0.14547,
              0.18551,
              0.26606,
              0.42571,
              0.74433,
              1.3812
            ],
            [
              0.10504,
              0.14527,
              0.18556,
              0.26597,
              0.42521,
              0.74469,
              1.38149
            ],
            [
              0.10513,
              0.14555,
              0.1857,
              0.26587,
              0.42591,
              0.74497,
              1.38116
            ],
            [
              0.10546,
              0.14573,
              0.18576,
              0.26576,
              0.42546,
              0.74443,
              1.38144
            ],
            [
              0.10887,
              0.14719,
              0.18673,
              0.266,
              0.42538,
              0.74416,
              1.38138
            ],
            [
              0.12082,
              0.15676,
              0.19394,
              0.26953,
              0.42623,
              0.74483,
              1.38101
            ],
            [
              0.14225,
              0.17852,
              0.21297,
              0.28385,
              0.43349,
              0.74501,
              1.38013
            ],
            [
              0.17203,
              0.21056,
              0.24712,
              0.31657,
              0.45639,
              0.7546,
              1.3799
            ],
            [
              0.2157,
              0.2568,
              0.2954,
              0.3693,
              0.5061,
              0.7855,
              1.3885
            ],
            [
              0.2756,
              0.3205,
              0.3629,
              0.4418,
              0.5871,
              0.8563,
              1.428
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09999,
              0.1206,
              0.14017,
              0.1777,
              0.24964,
              0.38931,
              0.66412
            ],
            [
              0.10212,
              0.12273,
              0.14231,
              0.17983,
              0.25176,
              0.39141,
              0.66628
            ],
            [
              0.10482,
              0.12546,
              0.14504,
              0.18256,
              0.25454,
              0.39426,
              0.66902
            ],
            [
              0.1089,
              0.12954,
              0.14914,
              0.18668,
              0.2587,
              0.39831,
              0.67317
            ],
            [
              0.11468,
              0.1354,
              0.15503,
              0.19262,
              0.26463,
              0.40431,
              0.67918
            ],
            [
              0.12308,
              0.14379,
              0.16353,
              0.20118,
              0.27328,
              0.41309,
              0.68798
            ],
            [
              0.13578,
              0.15641,
              0.17612,
              0.21386,
              0.28613,
              0.42599,
              0.70108
            ],
            [
              0.15491,
              0.1759,
              0.19536,
              0.23302,
              0.30541,
              0.44548,
              0.7207
            ],
            [
              0.17909,
              0.20221,
              0.22347,
              0.26229,
              0.33458,
              0.47492,
              0.75033
            ],
            [
              0.21005,
              0.23585,
              0.25942,
              0.3023,
              0.37875,
              0.51924,
              0.79499
            ],
            [
              0.24804,
              0.27782,
              0.30479,
              0.35331,
              0.4383,
              0.58592,
              0.86202
            ],
            [
              0.29277,
              0.32817,
              0.35997,
              0.41677,
              0.51417,
              0.67867,
              0.96277
            ],
            [
              0.3445,
              0.3869,
              0.4252,
              0.4931,
              0.6081,
              0.7969,
              1.1098
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.18012,
              0.20881,
              0.23703,
              0.29272,
              0.40299,
              0.62229,
              1.05927
            ],
            [
              0.18248,
              0.21126,
              0.23955,
              0.29532,
              0.40567,
              0.625,
              1.06194
            ],
            [
              0.18537,
              0.21425,
              0.24261,
              0.29847,
              0.40893,
              0.62826,
              1.06532
            ],
            [
              0.18976,
              0.21876,
              0.24721,
              0.30319,
              0.41378,
              0.63326,
              1.07028
            ],
            [
              0.19645,
              0.22556,
              0.2541,
              0.31025,
              0.42102,
              0.64065,
              1.07781
            ],
            [
              0.20636,
              0.23556,
              0.26421,
              0.32049,
              0.43151,
              0.65137,
              1.08872
            ],
            [
              0.22034,
              0.24959,
              0.2783,
              0.33475,
              0.44596,
              0.66611,
              1.10383
            ],
            [
              0.23974,
              0.26893,
              0.29759,
              0.35408,
              0.46548,
              0.68593,
              1.12396
            ],
            [
              0.26661,
              0.29605,
              0.32471,
              0.38127,
              0.49274,
              0.71338,
              1.15165
            ],
            [
              0.29764,
              0.33102,
              0.36233,
              0.42024,
              0.5318,
              0.75259,
              1.19129
            ],
            [
              0.33259,
              0.37036,
              0.40561,
              0.47102,
              0.58932,
              0.81022,
              1.24912
            ],
            [
              0.37087,
              0.41497,
              0.45557,
              0.53017,
              0.66337,
              0.89677,
              1.33567
            ],
            [
              0.4129,
              0.4652,
              0.513,
              0.5998,
              0.7519,
              1.0138,
              1.4665
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.13086,
              0.15232,
              0.17451,
              0.2198,
              0.31231,
              0.50061,
              0.88109
            ],
            [
              0.13071,
              0.15229,
              0.17442,
              0.21979,
              0.3125,
              0.5006,
              0.88062
            ],
            [
              0.13068,
              0.15218,
              0.17438,
              0.21975,
              0.31277,
              0.50065,
              0.88113
            ],
            [
              0.13048,
              0.15206,
              0.1743,
              0.21969,
              0.31237,
              0.50026,
              0.88034
            ],
            [
              0.13003,
              0.15184,
              0.17405,
              0.21956,
              0.31244,
              0.50046,
              0.88065
            ],
            [
              0.12905,
              0.15111,
              0.17368,
              0.21946,
              0.3126,
              0.50065,
              0.87997
            ],
            [
              0.13059,
              0.15156,
              0.17333,
              0.21899,
              0.31211,
              0.50036,
              0.88112
            ],
            [
              0.13524,
              0.15538,
              0.17641,
              0.22041,
              0.31194,
              0.50059,
              0.88102
            ],
            [
              0.14629,
              0.16497,
              0.18494,
              0.2269,
              0.31523,
              0.50043,
              0.88118
            ],
            [
              0.16477,
              0.18441,
              0.20395,
              0.24287,
              0.32677,
              0.50489,
              0.88108
            ],
            [
              0.19236,
              0.21291,
              0.2333,
              0.27395,
              0.35283,
              0.52147,
              0.8846
            ],
            [
              0.2331,
              0.2553,
              0.2769,
              0.3193,
              0.401,
              0.561,
              0.905
            ],
            [
              0.2911,
              0.3156,
              0.3392,
              0.3847,
              0.4709,
              0.634,
              0.957
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.1356,
              0.17717,
              0.21859,
              0.30014,
              0.46331,
              0.78655,
              1.43388
            ],
            [
              0.13559,
              0.17731,
              0.21831,
              0.30007,
              0.46328,
              0.78672,
              1.43408
            ],
            [
              0.13547,
              0.17718,
              0.21853,
              0.30012,
              0.46332,
              0.7874,
              1.43251
            ],
            [
              0.13558,
              0.17732,
              0.21864,
              0.30014,
              0.46332,
              0.7871,
              1.43409
            ],
            [
              0.13563,
              0.17708,
              0.21862,
              0.30036,
              0.46325,
              0.78732,
              1.43353
            ],
            [
              0.13545,
              0.17732,
              0.21853,
              0.30036,
              0.46319,
              0.78658,
              1.43332
            ],
            [
              0.13561,
              0.17717,
              0.21857,
              0.30014,
              0.46332,
              0.78628,
              1.43161
            ],
            [
              0.13678,
              0.17799,
              0.21875,
              0.30043,
              0.46328,
              0.78734,
              1.43309
            ],
            [
              0.14537,
              0.18419,
              0.22344,
              0.30172,
              0.46332,
              0.78664,
              1.43432
            ],
            [
              0.16588,
              0.2022,
              0.23861,
              0.31389,
              0.46813,
              0.78596,
              1.43332
            ],
            [
              0.19571,
              0.23461,
              0.27191,
              0.34251,
              0.48827,
              0.7941,
              1.4336
            ],
            [
              0.2399,
              0.2812,
              0.3203,
              0.3947,
              0.5342,
              0.8237,
              1.4395
            ],
            [
              0.3013,
              0.3462,
              0.388,
              0.4668,
              0.614,
              0.8904,
              1.4745
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12865,
              0.14835,
              0.16736,
              0.20411,
              0.2753,
              0.41415,
              0.68798
            ],
            [
              0.13114,
              0.15086,
              0.16986,
              0.20662,
              0.27782,
              0.41666,
              0.69043
            ],
            [
              0.13407,
              0.1538,
              0.17281,
              0.20957,
              0.28078,
              0.41962,
              0.69364
            ],
            [
              0.13812,
              0.15788,
              0.17691,
              0.21371,
              0.28492,
              0.42378,
              0.69773
            ],
            [
              0.14375,
              0.16357,
              0.18263,
              0.21948,
              0.29073,
              0.42962,
              0.70372
            ],
            [
              0.15153,
              0.17143,
              0.19057,
              0.22748,
              0.29883,
              0.43779,
              0.71187
            ],
            [
              0.1624,
              0.18239,
              0.20158,
              0.23862,
              0.3101,
              0.44918,
              0.72339
            ],
            [
              0.17819,
              0.19809,
              0.21729,
              0.25441,
              0.32606,
              0.46533,
              0.73957
            ],
            [
              0.19924,
              0.22024,
              0.24008,
              0.2774,
              0.34913,
              0.48862,
              0.76305
            ],
            [
              0.22568,
              0.2482,
              0.26943,
              0.3093,
              0.38317,
              0.52283,
              0.79749
            ],
            [
              0.25896,
              0.28358,
              0.30667,
              0.34987,
              0.4293,
              0.57392,
              0.84882
            ],
            [
              0.30047,
              0.32797,
              0.35377,
              0.40147,
              0.48827,
              0.64417,
              0.92587
            ],
            [
              0.3508,
              0.3828,
              0.4123,
              0.4665,
              0.5635,
              0.7343,
              1.0366
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.139,
              0.16191,
              0.18422,
              0.22775,
              0.31313,
              0.48181,
              0.81712
            ],
            [
              0.1413,
              0.16427,
              0.18654,
              0.23008,
              0.31551,
              0.4842,
              0.8195
            ],
            [
              0.14425,
              0.16724,
              0.18955,
              0.23309,
              0.31857,
              0.48728,
              0.82256
            ],
            [
              0.14882,
              0.17189,
              0.19423,
              0.23783,
              0.32327,
              0.492,
              0.82734
            ],
            [
              0.15584,
              0.17896,
              0.20133,
              0.24495,
              0.33052,
              0.49931,
              0.83464
            ],
            [
              0.16603,
              0.18918,
              0.21159,
              0.25531,
              0.34097,
              0.50981,
              0.84509
            ],
            [
              0.18045,
              0.20363,
              0.226,
              0.26982,
              0.35549,
              0.52445,
              0.85989
            ],
            [
              0.2007,
              0.22388,
              0.24629,
              0.29014,
              0.37594,
              0.54494,
              0.88056
            ],
            [
              0.22668,
              0.25204,
              0.27523,
              0.31914,
              0.40497,
              0.57414,
              0.90975
            ],
            [
              0.25509,
              0.2842,
              0.31096,
              0.35991,
              0.44749,
              0.61681,
              0.95269
            ],
            [
              0.28521,
              0.31963,
              0.35096,
              0.40757,
              0.50692,
              0.68022,
              1.01622
            ],
            [
              0.31507,
              0.35677,
              0.39427,
              0.46137,
              0.57707,
              0.77197,
              1.11167
            ],
            [
              0.3451,
              0.3951,
              0.4402,
              0.5207,
              0.6575,
              0.8835,
              1.2549
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10948,
              0.13288,
              0.15618,
              0.20318,
              0.29747,
              0.48724,
              0.86828
            ],
            [
              0.10947,
              0.1329,
              0.15627,
              0.2032,
              0.29771,
              0.48721,
              0.86803
            ],
            [
              0.10946,
              0.13284,
              0.1563,
              0.20322,
              0.29778,
              0.48704,
              0.86872
            ],
            [
              0.10945,
              0.13285,
              0.15627,
              0.20327,
              0.29776,
              0.48694,
              0.86837
            ],
            [
              0.10943,
              0.13287,
              0.1563,
              0.20306,
              0.29767,
              0.48758,
              0.86878
            ],
            [
              0.10919,
              0.13277,
              0.1561,
              0.20326,
              0.29731,
              0.48752,
              0.86863
            ],
            [
              0.10899,
              0.13232,
              0.15596,
              0.203,
              0.29738,
              0.48748,
              0.86845
            ],
            [
              0.11134,
              0.13409,
              0.15707,
              0.20336,
              0.29729,
              0.48755,
              0.86778
            ],
            [
              0.11811,
              0.14004,
              0.1622,
              0.20732,
              0.29924,
              0.48675,
              0.86833
            ],
            [
              0.12907,
              0.15212,
              0.17429,
              0.21797,
              0.3071,
              0.49037,
              0.8682
            ],
            [
              0.14533,
              0.16927,
              0.19274,
              0.23796,
              0.32547,
              0.50274,
              0.872
            ],
            [
              0.1703,
              0.1954,
              0.2199,
              0.2669,
              0.3579,
              0.5314,
              0.888
            ],
            [
              0.2092,
              0.2361,
              0.2617,
              0.3109,
              0.4043,
              0.5828,
              0.9285
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12025,
              0.15099,
              0.18155,
              0.24321,
              0.36635,
              0.61119,
              1.10157
            ],
            [
              0.12019,
              0.15086,
              0.18157,
              0.24323,
              0.36601,
              0.61112,
              1.10233
            ],
            [
              0.12035,
              0.15095,
              0.18161,
              0.24328,
              0.36565,
              0.61165,
              1.10247
            ],
            [
              0.12037,
              0.15083,
              0.18146,
              0.24304,
              0.36634,
              0.61106,
              1.10171
            ],
            [
              0.12036,
              0.15078,
              0.18139,
              0.24324,
              0.36583,
              0.61185,
              1.10242
            ],
            [
              0.12039,
              0.15099,
              0.18177,
              0.24328,
              0.36605,
              0.61168,
              1.10075
            ],
            [
              0.12053,
              0.15104,
              0.1818,
              0.24289,
              0.36635,
              0.61111,
              1.10231
            ],
            [
              0.12392,
              0.15288,
              0.18272,
              0.24346,
              0.36563,
              0.61104,
              1.10212
            ],
            [
              0.13572,
              0.16287,
              0.19098,
              0.24841,
              0.36731,
              0.61193,
              1.10121
            ],
            [
              0.1611,
              0.18707,
              0.21244,
              0.26557,
              0.3778,
              0.61361,
              1.10192
            ],
            [
              0.19753,
              0.22539,
              0.25242,
              0.30398,
              0.40687,
              0.62877,
              1.1012
            ],
            [
              0.2492,
              0.2796,
              0.3085,
              0.3638,
              0.4675,
              0.6719,
              1.1198
            ],
            [
              0.3177,
              0.3519,
              0.3844,
              0.4448,
              0.557,
              0.7603,
              1.1768
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10365,
              0.12438,
              0.14397,
              0.18138,
              0.25309,
              0.39224,
              0.66625
            ],
            [
              0.10607,
              0.1268,
              0.14639,
              0.1838,
              0.25551,
              0.39465,
              0.66881
            ],
            [
              0.10889,
              0.12963,
              0.14924,
              0.18665,
              0.25836,
              0.39752,
              0.67155
            ],
            [
              0.11284,
              0.13361,
              0.15323,
              0.19065,
              0.26238,
              0.40157,
              0.67566
            ],
            [
              0.11836,
              0.13918,
              0.15884,
              0.19631,
              0.26807,
              0.40727,
              0.68135
            ],
            [
              0.12608,
              0.14696,
              0.16667,
              0.20423,
              0.27607,
              0.41535,
              0.68949
            ],
            [
              0.1371,
              0.15794,
              0.17768,
              0.21532,
              0.28729,
              0.42668,
              0.70096
            ],
            [
              0.15267,
              0.1739,
              0.19354,
              0.23116,
              0.30326,
              0.44281,
              0.7172
            ],
            [
              0.17204,
              0.19463,
              0.21552,
              0.25422,
              0.32641,
              0.46613,
              0.74069
            ],
            [
              0.19629,
              0.22066,
              0.24313,
              0.28462,
              0.36024,
              0.5004,
              0.77519
            ],
            [
              0.22637,
              0.25324,
              0.27788,
              0.32309,
              0.40471,
              0.55142,
              0.82652
            ],
            [
              0.26297,
              0.29347,
              0.32127,
              0.37167,
              0.46147,
              0.62007,
              0.90367
            ],
            [
              0.3056,
              0.3417,
              0.3742,
              0.4322,
              0.5333,
              0.7079,
              1.0132
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.16227,
              0.19135,
              0.21969,
              0.27526,
              0.38471,
              0.60141,
              1.03247
            ],
            [
              0.16443,
              0.19353,
              0.22188,
              0.27746,
              0.38693,
              0.60364,
              1.03474
            ],
            [
              0.16727,
              0.19641,
              0.22478,
              0.28041,
              0.3899,
              0.60656,
              1.03782
            ],
            [
              0.17173,
              0.20094,
              0.22934,
              0.28501,
              0.39454,
              0.61133,
              1.04248
            ],
            [
              0.17855,
              0.20782,
              0.2363,
              0.29202,
              0.40164,
              0.61841,
              1.04981
            ],
            [
              0.1884,
              0.21774,
              0.24627,
              0.30211,
              0.41182,
              0.62873,
              1.06012
            ],
            [
              0.20196,
              0.23133,
              0.2599,
              0.31581,
              0.42563,
              0.64265,
              1.07413
            ],
            [
              0.22048,
              0.24984,
              0.27841,
              0.33438,
              0.44428,
              0.66148,
              1.09306
            ],
            [
              0.24471,
              0.27519,
              0.30382,
              0.35975,
              0.46979,
              0.68709,
              1.11875
            ],
            [
              0.27021,
              0.30454,
              0.33651,
              0.39564,
              0.50582,
              0.72329,
              1.15509
            ],
            [
              0.29739,
              0.33637,
              0.37236,
              0.43862,
              0.55802,
              0.77622,
              1.20832
            ],
            [
              0.32557,
              0.37067,
              0.41207,
              0.48737,
              0.62117,
              0.85517,
              1.28747
            ],
            [
              0.3558,
              0.4085,
              0.4564,
              0.543,
              0.695,
              0.9565,
              1.4071
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09371,
              0.1166,
              0.13981,
              0.18624,
              0.28058,
              0.46934,
              0.85031
            ],
            [
              0.09356,
              0.11657,
              0.13969,
              0.18644,
              0.28023,
              0.46975,
              0.8505
            ],
            [
              0.09355,
              0.11643,
              0.13965,
              0.18642,
              0.2803,
              0.46937,
              0.85025
            ],
            [
              0.09346,
              0.11633,
              0.13952,
              0.18639,
              0.28049,
              0.46957,
              0.85058
            ],
            [
              0.09326,
              0.11634,
              0.13945,
              0.18623,
              0.28052,
              0.46952,
              0.84946
            ],
            [
              0.09268,
              0.11597,
              0.1393,
              0.18616,
              0.28047,
              0.47002,
              0.85056
            ],
            [
              0.09346,
              0.11613,
              0.13919,
              0.1861,
              0.28039,
              0.46983,
              0.85053
            ],
            [
              0.09675,
              0.11873,
              0.14128,
              0.18689,
              0.28038,
              0.46997,
              0.85039
            ],
            [
              0.10431,
              0.12601,
              0.14755,
              0.19188,
              0.28264,
              0.46992,
              0.85058
            ],
            [
              0.11517,
              0.13794,
              0.16031,
              0.20363,
              0.29154,
              0.47388,
              0.85025
            ],
            [
              0.13151,
              0.1553,
              0.17845,
              0.22393,
              0.31125,
              0.48735,
              0.8543
            ],
            [
              0.1571,
              0.1821,
              0.2064,
              0.2533,
              0.3436,
              0.517,
              0.8714
            ],
            [
              0.1977,
              0.2243,
              0.2496,
              0.2981,
              0.3912,
              0.5693,
              0.9138
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12687,
              0.16682,
              0.20658,
              0.28589,
              0.44392,
              0.75789,
              1.38638
            ],
            [
              0.12688,
              0.16682,
              0.20655,
              0.28589,
              0.44392,
              0.75793,
              1.38736
            ],
            [
              0.12688,
              0.16674,
              0.20659,
              0.28564,
              0.44337,
              0.75908,
              1.38629
            ],
            [
              0.1269,
              0.16678,
              0.20651,
              0.28589,
              0.44392,
              0.75837,
              1.38536
            ],
            [
              0.12691,
              0.16674,
              0.20637,
              0.28585,
              0.44393,
              0.75846,
              1.38822
            ],
            [
              0.12695,
              0.16673,
              0.2065,
              0.28558,
              0.44362,
              0.7584,
              1.38726
            ],
            [
              0.12707,
              0.16675,
              0.20664,
              0.28574,
              0.44347,
              0.75768,
              1.38697
            ],
            [
              0.12926,
              0.1678,
              0.20695,
              0.28553,
              0.44372,
              0.75907,
              1.38786
            ],
            [
              0.1391,
              0.17577,
              0.21295,
              0.28883,
              0.44349,
              0.75887,
              1.38803
            ],
            [
              0.15938,
              0.1952,
              0.23012,
              0.30179,
              0.45113,
              0.75824,
              1.38675
            ],
            [
              0.18787,
              0.22624,
              0.26268,
              0.33241,
              0.47282,
              0.7695,
              1.3883
            ],
            [
              0.2295,
              0.2703,
              0.3088,
              0.3825,
              0.5207,
              0.8005,
              1.3964
            ],
            [
              0.2871,
              0.3315,
              0.3734,
              0.4522,
              0.5986,
              0.8699,
              1.4377
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10616,
              0.12676,
              0.14637,
              0.18384,
              0.25578,
              0.39543,
              0.67028
            ],
            [
              0.10855,
              0.12916,
              0.14873,
              0.18625,
              0.25821,
              0.39783,
              0.67272
            ],
            [
              0.11136,
              0.13197,
              0.15156,
              0.18909,
              0.26102,
              0.40068,
              0.67558
            ],
            [
              0.11529,
              0.1359,
              0.15554,
              0.19309,
              0.26504,
              0.40469,
              0.67961
            ],
            [
              0.12083,
              0.14151,
              0.16114,
              0.1987,
              0.2707,
              0.4104,
              0.68531
            ],
            [
              0.12854,
              0.1493,
              0.16897,
              0.20661,
              0.27869,
              0.41842,
              0.69343
            ],
            [
              0.13953,
              0.16026,
              0.17999,
              0.21771,
              0.28993,
              0.42976,
              0.70478
            ],
            [
              0.15527,
              0.17619,
              0.19584,
              0.23356,
              0.30591,
              0.44591,
              0.72105
            ],
            [
              0.17493,
              0.19727,
              0.21805,
              0.25669,
              0.32906,
              0.46928,
              0.74461
            ],
            [
              0.1996,
              0.22364,
              0.24597,
              0.28739,
              0.36305,
              0.50356,
              0.77919
            ],
            [
              0.23027,
              0.25673,
              0.28117,
              0.32626,
              0.40783,
              0.55472,
              0.83052
            ],
            [
              0.26777,
              0.29777,
              0.32517,
              0.37537,
              0.46497,
              0.62367,
              0.90777
            ],
            [
              0.3121,
              0.3473,
              0.3792,
              0.4368,
              0.5375,
              0.7121,
              1.0177
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.19732,
              0.22608,
              0.25434,
              0.30986,
              0.41937,
              0.63608,
              1.06707
            ],
            [
              0.19949,
              0.22826,
              0.25652,
              0.31207,
              0.42159,
              0.63831,
              1.06934
            ],
            [
              0.20234,
              0.23116,
              0.25942,
              0.315,
              0.42452,
              0.64134,
              1.07242
            ],
            [
              0.20689,
              0.23574,
              0.26403,
              0.31964,
              0.42919,
              0.64604,
              1.07708
            ],
            [
              0.21382,
              0.2427,
              0.27104,
              0.32669,
              0.43633,
              0.65318,
              1.08421
            ],
            [
              0.22373,
              0.25269,
              0.28106,
              0.33676,
              0.44648,
              0.66335,
              1.09462
            ],
            [
              0.2373,
              0.2663,
              0.2947,
              0.35048,
              0.46027,
              0.67734,
              1.10843
            ],
            [
              0.25574,
              0.28472,
              0.31314,
              0.36898,
              0.47889,
              0.69597,
              1.12726
            ],
            [
              0.28091,
              0.30991,
              0.33833,
              0.39419,
              0.50421,
              0.72137,
              1.15305
            ],
            [
              0.31109,
              0.34307,
              0.37338,
              0.42995,
              0.54,
              0.75739,
              1.18909
            ],
            [
              0.34394,
              0.37975,
              0.41352,
              0.47662,
              0.59232,
              0.80982,
              1.24182
            ],
            [
              0.37977,
              0.42067,
              0.45897,
              0.53017,
              0.65917,
              0.88837,
              1.32027
            ],
            [
              0.4193,
              0.4667,
              0.5107,
              0.5919,
              0.7375,
              0.9926,
              1.4388
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.13064,
              0.15217,
              0.1744,
              0.21974,
              0.3125,
              0.50058,
              0.88114
            ],
            [
              0.13052,
              0.15211,
              0.17422,
              0.21971,
              0.31271,
              0.5006,
              0.88047
            ],
            [
              0.13042,
              0.15204,
              0.17425,
              0.2196,
              0.31266,
              0.50058,
              0.88112
            ],
            [
              0.13031,
              0.15195,
              0.17418,
              0.21965,
              0.31225,
              0.50061,
              0.88115
            ],
            [
              0.1301,
              0.15183,
              0.17405,
              0.2196,
              0.31213,
              0.50061,
              0.88097
            ],
            [
              0.12955,
              0.1515,
              0.17391,
              0.21954,
              0.31235,
              0.50027,
              0.88108
            ],
            [
              0.13031,
              0.15165,
              0.17374,
              0.21933,
              0.31235,
              0.50059,
              0.88111
            ],
            [
              0.13353,
              0.15427,
              0.17568,
              0.22027,
              0.31231,
              0.50054,
              0.88087
            ],
            [
              0.14131,
              0.16104,
              0.18183,
              0.22499,
              0.31482,
              0.5007,
              0.88115
            ],
            [
              0.15426,
              0.17469,
              0.19525,
              0.23676,
              0.32345,
              0.50455,
              0.88093
            ],
            [
              0.17338,
              0.19441,
              0.2158,
              0.2587,
              0.34307,
              0.51809,
              0.8854
            ],
            [
              0.2031,
              0.225,
              0.2467,
              0.2905,
              0.3776,
              0.5479,
              0.9024
            ],
            [
              0.2497,
              0.2723,
              0.2947,
              0.3393,
              0.4275,
              0.6017,
              0.9434
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.15628,
              0.19765,
              0.23866,
              0.3198,
              0.481,
              0.80137,
              1.44106
            ],
            [
              0.15628,
              0.19768,
              0.23868,
              0.31976,
              0.48098,
              0.80121,
              1.43981
            ],
            [
              0.15613,
              0.19759,
              0.23869,
              0.31975,
              0.48101,
              0.80087,
              1.43836
            ],
            [
              0.15621,
              0.19764,
              0.23869,
              0.31974,
              0.48091,
              0.80121,
              1.43796
            ],
            [
              0.15631,
              0.19774,
              0.23858,
              0.31943,
              0.4801,
              0.80179,
              1.44109
            ],
            [
              0.15622,
              0.1976,
              0.2386,
              0.31978,
              0.48091,
              0.80153,
              1.43795
            ],
            [
              0.1563,
              0.1975,
              0.2387,
              0.3198,
              0.4809,
              0.80166,
              1.44048
            ],
            [
              0.157,
              0.19777,
              0.23883,
              0.31949,
              0.48039,
              0.80137,
              1.44068
            ],
            [
              0.16402,
              0.20342,
              0.24258,
              0.32128,
              0.4807,
              0.80155,
              1.44019
            ],
            [
              0.18251,
              0.21932,
              0.25649,
              0.33217,
              0.48594,
              0.80174,
              1.44147
            ],
            [
              0.21158,
              0.25066,
              0.28776,
              0.3589,
              0.50509,
              0.8091,
              1.4387
            ],
            [
              0.2538,
              0.295,
              0.3342,
              0.409,
              0.5495,
              0.8387,
              1.4493
            ],
            [
              0.3126,
              0.357,
              0.3989,
              0.478,
              0.6262,
              0.9038,
              1.4857
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.0347,
              0.04684,
              0.0585,
              0.08126,
              0.12628,
              0.21598,
              0.39509
            ],
            [
              0.03666,
              0.04905,
              0.06078,
              0.0837,
              0.1289,
              0.21864,
              0.3978
            ],
            [
              0.03922,
              0.05175,
              0.06364,
              0.08672,
              0.13193,
              0.22186,
              0.40095
            ],
            [
              0.04338,
              0.05601,
              0.06802,
              0.09125,
              0.13664,
              0.22664,
              0.40595
            ],
            [
              0.05011,
              0.06263,
              0.07471,
              0.09809,
              0.14371,
              0.2338,
              0.41327
            ],
            [
              0.05834,
              0.07301,
              0.08505,
              0.10847,
              0.1543,
              0.24464,
              0.42411
            ],
            [
              0.06783,
              0.08564,
              0.10019,
              0.12438,
              0.17033,
              0.26082,
              0.4404
            ],
            [
              0.07882,
              0.10051,
              0.11823,
              0.14739,
              0.19455,
              0.28525,
              0.46505
            ],
            [
              0.09143,
              0.11782,
              0.13944,
              0.17493,
              0.23062,
              0.32193,
              0.5018
            ],
            [
              0.10587,
              0.13789,
              0.16419,
              0.20747,
              0.27518,
              0.37772,
              0.55746
            ],
            [
              0.12207,
              0.161,
              0.19293,
              0.2456,
              0.32802,
              0.45252,
              0.64132
            ],
            [
              0.13992,
              0.18727,
              0.22607,
              0.28997,
              0.39027,
              0.54167,
              0.76497
            ],
            [
              0.159,
              0.2164,
              0.2635,
              0.3412,
              0.4633,
              0.6473,
              0.9184
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04727,
              0.06696,
              0.0857,
              0.12206,
              0.19377,
              0.33614,
              0.62085
            ],
            [
              0.04871,
              0.06872,
              0.08761,
              0.12417,
              0.19617,
              0.33883,
              0.62345
            ],
            [
              0.05089,
              0.07089,
              0.08993,
              0.12673,
              0.19886,
              0.34171,
              0.62584
            ],
            [
              0.05471,
              0.07457,
              0.09366,
              0.13071,
              0.20289,
              0.34604,
              0.63065
            ],
            [
              0.06132,
              0.08069,
              0.09971,
              0.13674,
              0.20942,
              0.35241,
              0.63731
            ],
            [
              0.0718,
              0.09075,
              0.10945,
              0.14641,
              0.21914,
              0.36237,
              0.64716
            ],
            [
              0.08278,
              0.10635,
              0.125,
              0.16154,
              0.23392,
              0.37774,
              0.66236
            ],
            [
              0.09506,
              0.12393,
              0.14727,
              0.18523,
              0.2572,
              0.40065,
              0.68581
            ],
            [
              0.1086,
              0.14383,
              0.17243,
              0.21904,
              0.29303,
              0.43567,
              0.72047
            ],
            [
              0.12371,
              0.16604,
              0.20086,
              0.25798,
              0.3465,
              0.48955,
              0.77369
            ],
            [
              0.14095,
              0.19092,
              0.23272,
              0.30216,
              0.41064,
              0.57212,
              0.85532
            ],
            [
              0.16091,
              0.21927,
              0.26857,
              0.35187,
              0.48387,
              0.68207,
              0.97847
            ],
            [
              0.1841,
              0.252,
              0.3097,
              0.4079,
              0.5666,
              0.8086,
              1.1616
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02852,
              0.04432,
              0.06031,
              0.09247,
              0.15663,
              0.28488,
              0.54302
            ],
            [
              0.0285,
              0.04438,
              0.06028,
              0.09242,
              0.1567,
              0.2856,
              0.54259
            ],
            [
              0.02849,
              0.04434,
              0.06031,
              0.09229,
              0.15679,
              0.28491,
              0.5428
            ],
            [
              0.02832,
              0.04433,
              0.06033,
              0.09243,
              0.1568,
              0.28561,
              0.54258
            ],
            [
              0.03024,
              0.0446,
              0.06026,
              0.09244,
              0.15676,
              0.28502,
              0.54243
            ],
            [
              0.03567,
              0.04814,
              0.0622,
              0.0926,
              0.15677,
              0.2855,
              0.54166
            ],
            [
              0.04229,
              0.05667,
              0.06901,
              0.09631,
              0.15691,
              0.28532,
              0.54283
            ],
            [
              0.05105,
              0.06765,
              0.0821,
              0.10698,
              0.16227,
              0.28526,
              0.54196
            ],
            [
              0.06349,
              0.08243,
              0.09867,
              0.12708,
              0.17738,
              0.29034,
              0.54211
            ],
            [
              0.0806,
              0.10267,
              0.12127,
              0.15318,
              0.20709,
              0.30967,
              0.54465
            ],
            [
              0.10409,
              0.13026,
              0.15187,
              0.18829,
              0.24927,
              0.35134,
              0.56622
            ],
            [
              0.13614,
              0.16757,
              0.19299,
              0.23571,
              0.3055,
              0.4196,
              0.6199
            ],
            [
              0.1802,
              0.2179,
              0.2489,
              0.2992,
              0.3799,
              0.5097,
              0.7209
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04452,
              0.07154,
              0.09845,
              0.15177,
              0.25847,
              0.47103,
              0.894
            ],
            [
              0.04445,
              0.07139,
              0.09831,
              0.15146,
              0.25847,
              0.46975,
              0.8935
            ],
            [
              0.04436,
              0.07143,
              0.09834,
              0.15176,
              0.25796,
              0.47086,
              0.89601
            ],
            [
              0.04408,
              0.0712,
              0.09823,
              0.15161,
              0.25826,
              0.47085,
              0.89541
            ],
            [
              0.04487,
              0.07101,
              0.09803,
              0.15163,
              0.25783,
              0.471,
              0.89522
            ],
            [
              0.05075,
              0.07324,
              0.09801,
              0.15152,
              0.25787,
              0.47047,
              0.89598
            ],
            [
              0.06328,
              0.08222,
              0.10407,
              0.15246,
              0.25798,
              0.47029,
              0.8959
            ],
            [
              0.07701,
              0.09963,
              0.11843,
              0.16147,
              0.25897,
              0.47079,
              0.89546
            ],
            [
              0.09285,
              0.12141,
              0.1449,
              0.18267,
              0.26997,
              0.47096,
              0.89601
            ],
            [
              0.11308,
              0.14748,
              0.17533,
              0.2213,
              0.29962,
              0.48178,
              0.89578
            ],
            [
              0.13864,
              0.17978,
              0.21372,
              0.2689,
              0.35481,
              0.51743,
              0.9011
            ],
            [
              0.17215,
              0.22074,
              0.26137,
              0.3282,
              0.4326,
              0.5939,
              0.9397
            ],
            [
              0.2164,
              0.2734,
              0.3212,
              0.4019,
              0.5285,
              0.7191,
              1.0374
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.03473,
              0.04691,
              0.05851,
              0.08128,
              0.1263,
              0.21596,
              0.39512
            ],
            [
              0.03672,
              0.04912,
              0.06087,
              0.08377,
              0.1289,
              0.21866,
              0.39776
            ],
            [
              0.03933,
              0.05185,
              0.06375,
              0.08679,
              0.13206,
              0.22192,
              0.40116
            ],
            [
              0.04354,
              0.05617,
              0.06817,
              0.09141,
              0.13678,
              0.22673,
              0.40605
            ],
            [
              0.05032,
              0.06284,
              0.07493,
              0.09829,
              0.14395,
              0.23409,
              0.41349
            ],
            [
              0.05865,
              0.07329,
              0.0853,
              0.10873,
              0.15457,
              0.2449,
              0.4245
            ],
            [
              0.06824,
              0.086,
              0.10052,
              0.1247,
              0.17061,
              0.26112,
              0.44063
            ],
            [
              0.07923,
              0.10092,
              0.11862,
              0.14775,
              0.19485,
              0.28558,
              0.46538
            ],
            [
              0.0918,
              0.11821,
              0.13982,
              0.17536,
              0.23094,
              0.32235,
              0.50229
            ],
            [
              0.10604,
              0.13817,
              0.16449,
              0.20784,
              0.27553,
              0.3781,
              0.55795
            ],
            [
              0.12189,
              0.16101,
              0.19301,
              0.24583,
              0.32837,
              0.45272,
              0.64182
            ],
            [
              0.13908,
              0.18677,
              0.22567,
              0.28987,
              0.39037,
              0.54187,
              0.76527
            ],
            [
              0.157,
              0.2149,
              0.2623,
              0.3404,
              0.4628,
              0.6473,
              0.9186
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.05068,
              0.07273,
              0.09373,
              0.13458,
              0.21508,
              0.37525,
              0.69429
            ],
            [
              0.05191,
              0.0743,
              0.09551,
              0.13663,
              0.21742,
              0.37776,
              0.69687
            ],
            [
              0.05389,
              0.07622,
              0.09765,
              0.13906,
              0.2201,
              0.3804,
              0.70014
            ],
            [
              0.05751,
              0.07966,
              0.1011,
              0.14277,
              0.22409,
              0.38464,
              0.7044
            ],
            [
              0.06389,
              0.08542,
              0.10677,
              0.1485,
              0.2301,
              0.39087,
              0.71057
            ],
            [
              0.07451,
              0.09513,
              0.11611,
              0.1576,
              0.23943,
              0.4005,
              0.72072
            ],
            [
              0.08611,
              0.11093,
              0.13112,
              0.17217,
              0.25372,
              0.41517,
              0.73561
            ],
            [
              0.09902,
              0.12935,
              0.15402,
              0.1951,
              0.27613,
              0.43725,
              0.75797
            ],
            [
              0.11334,
              0.1502,
              0.1803,
              0.22965,
              0.31075,
              0.47115,
              0.79165
            ],
            [
              0.1294,
              0.17362,
              0.21012,
              0.27026,
              0.3642,
              0.52348,
              0.84309
            ],
            [
              0.14793,
              0.20003,
              0.24373,
              0.31657,
              0.431,
              0.60382,
              0.92162
            ],
            [
              0.16967,
              0.23037,
              0.28177,
              0.36887,
              0.50767,
              0.71717,
              1.04157
            ],
            [
              0.1953,
              0.2658,
              0.3258,
              0.4283,
              0.5945,
              0.8493,
              1.2239
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02848,
              0.04436,
              0.06037,
              0.09236,
              0.15676,
              0.28514,
              0.54197
            ],
            [
              0.02847,
              0.04433,
              0.06037,
              0.09233,
              0.15681,
              0.28517,
              0.54196
            ],
            [
              0.0285,
              0.04433,
              0.06039,
              0.09244,
              0.15681,
              0.28551,
              0.54309
            ],
            [
              0.02832,
              0.04433,
              0.06038,
              0.0925,
              0.15678,
              0.28533,
              0.54277
            ],
            [
              0.03019,
              0.04464,
              0.06027,
              0.09238,
              0.15665,
              0.28505,
              0.54299
            ],
            [
              0.03554,
              0.04805,
              0.0621,
              0.09258,
              0.15667,
              0.28552,
              0.54261
            ],
            [
              0.0421,
              0.05646,
              0.06884,
              0.09632,
              0.15682,
              0.28538,
              0.54294
            ],
            [
              0.05083,
              0.06736,
              0.08193,
              0.10679,
              0.16213,
              0.2853,
              0.54194
            ],
            [
              0.06317,
              0.08213,
              0.09839,
              0.12673,
              0.17719,
              0.2902,
              0.54203
            ],
            [
              0.08033,
              0.10242,
              0.12097,
              0.15282,
              0.20681,
              0.30955,
              0.5446
            ],
            [
              0.10384,
              0.13001,
              0.15165,
              0.18811,
              0.24899,
              0.3511,
              0.56573
            ],
            [
              0.13603,
              0.16733,
              0.19298,
              0.23558,
              0.3053,
              0.4193,
              0.6197
            ],
            [
              0.1801,
              0.218,
              0.249,
              0.2994,
              0.3802,
              0.5096,
              0.7207
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.05124,
              0.08146,
              0.11147,
              0.17111,
              0.29004,
              0.52668,
              0.99743
            ],
            [
              0.051,
              0.08144,
              0.11157,
              0.17134,
              0.29004,
              0.5267,
              0.99729
            ],
            [
              0.0506,
              0.08123,
              0.11149,
              0.17132,
              0.29005,
              0.52536,
              0.9991
            ],
            [
              0.05017,
              0.08099,
              0.11139,
              0.17119,
              0.28968,
              0.52631,
              0.99867
            ],
            [
              0.05044,
              0.08073,
              0.1112,
              0.1709,
              0.28959,
              0.52538,
              0.99783
            ],
            [
              0.05558,
              0.08207,
              0.11053,
              0.17081,
              0.28997,
              0.52661,
              0.99963
            ],
            [
              0.06721,
              0.0897,
              0.11527,
              0.17093,
              0.28981,
              0.52665,
              0.99929
            ],
            [
              0.0821,
              0.10615,
              0.12826,
              0.17796,
              0.28908,
              0.52593,
              0.99965
            ],
            [
              0.0976,
              0.12892,
              0.15376,
              0.19763,
              0.29866,
              0.52581,
              0.99908
            ],
            [
              0.11769,
              0.15469,
              0.18511,
              0.23464,
              0.32442,
              0.53337,
              0.99924
            ],
            [
              0.14334,
              0.18714,
              0.22324,
              0.28314,
              0.37667,
              0.56443,
              1.0
            ],
            [
              0.17667,
              0.22813,
              0.27148,
              0.3428,
              0.4559,
              0.6356,
              1.0343
            ],
            [
              0.2213,
              0.2808,
              0.3314,
              0.4172,
              0.5529,
              0.7584,
              1.1227
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.03474,
              0.04692,
              0.05848,
              0.08129,
              0.12631,
              0.21597,
              0.39511
            ],
            [
              0.03674,
              0.04913,
              0.06089,
              0.08378,
              0.12892,
              0.21864,
              0.39786
            ],
            [
              0.03934,
              0.05186,
              0.06375,
              0.0868,
              0.13205,
              0.22196,
              0.40119
            ],
            [
              0.04355,
              0.05618,
              0.06818,
              0.09141,
              0.13678,
              0.22673,
              0.40597
            ],
            [
              0.05032,
              0.06286,
              0.07493,
              0.09829,
              0.14396,
              0.23409,
              0.41342
            ],
            [
              0.05865,
              0.07328,
              0.08531,
              0.10875,
              0.15458,
              0.2449,
              0.42445
            ],
            [
              0.06823,
              0.08599,
              0.10052,
              0.12469,
              0.17062,
              0.26112,
              0.44069
            ],
            [
              0.07921,
              0.1009,
              0.11861,
              0.14773,
              0.19484,
              0.28558,
              0.46538
            ],
            [
              0.09178,
              0.11818,
              0.13981,
              0.17534,
              0.23093,
              0.32235,
              0.5022
            ],
            [
              0.10601,
              0.13814,
              0.16448,
              0.20782,
              0.27551,
              0.37808,
              0.55795
            ],
            [
              0.1219,
              0.16099,
              0.193,
              0.24581,
              0.32835,
              0.45282,
              0.64182
            ],
            [
              0.1391,
              0.18677,
              0.22567,
              0.28987,
              0.39037,
              0.54187,
              0.76527
            ],
            [
              0.157,
              0.2149,
              0.2623,
              0.3404,
              0.4628,
              0.6473,
              0.9186
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.0507,
              0.07262,
              0.0935,
              0.134,
              0.21404,
              0.37289,
              0.69
            ],
            [
              0.05194,
              0.07414,
              0.09521,
              0.13608,
              0.21635,
              0.37529,
              0.69256
            ],
            [
              0.05392,
              0.07615,
              0.09737,
              0.13852,
              0.21899,
              0.37802,
              0.69531
            ],
            [
              0.05754,
              0.07956,
              0.10089,
              0.14222,
              0.22284,
              0.38246,
              0.70008
            ],
            [
              0.06391,
              0.08539,
              0.10658,
              0.148,
              0.22898,
              0.38878,
              0.70644
            ],
            [
              0.07451,
              0.09506,
              0.11592,
              0.15716,
              0.23837,
              0.39824,
              0.71622
            ],
            [
              0.08607,
              0.11084,
              0.13097,
              0.17176,
              0.25269,
              0.41293,
              0.73124
            ],
            [
              0.09894,
              0.12921,
              0.15381,
              0.1947,
              0.27514,
              0.43507,
              0.75353
            ],
            [
              0.11321,
              0.15001,
              0.18003,
              0.22923,
              0.3099,
              0.4692,
              0.78745
            ],
            [
              0.12921,
              0.17336,
              0.20978,
              0.26976,
              0.36338,
              0.52156,
              0.83899
            ],
            [
              0.14766,
              0.19967,
              0.24328,
              0.31596,
              0.43006,
              0.60212,
              0.91752
            ],
            [
              0.16927,
              0.22987,
              0.28127,
              0.36807,
              0.50657,
              0.71537,
              1.03797
            ],
            [
              0.1948,
              0.2652,
              0.3251,
              0.4273,
              0.5932,
              0.8473,
              1.2206
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02849,
              0.04436,
              0.06029,
              0.09238,
              0.1568,
              0.28521,
              0.54176
            ],
            [
              0.02848,
              0.04434,
              0.06038,
              0.09232,
              0.15679,
              0.28517,
              0.54247
            ],
            [
              0.0285,
              0.04435,
              0.06035,
              0.09244,
              0.15678,
              0.28535,
              0.54297
            ],
            [
              0.02832,
              0.04433,
              0.06037,
              0.0925,
              0.15677,
              0.28538,
              0.54247
            ],
            [
              0.03021,
              0.04466,
              0.06028,
              0.09237,
              0.15665,
              0.28505,
              0.54313
            ],
            [
              0.03553,
              0.04808,
              0.06213,
              0.09256,
              0.15664,
              0.28554,
              0.54306
            ],
            [
              0.0421,
              0.05645,
              0.06885,
              0.09618,
              0.15682,
              0.28538,
              0.54304
            ],
            [
              0.05084,
              0.06736,
              0.08192,
              0.1068,
              0.16214,
              0.28529,
              0.54192
            ],
            [
              0.06318,
              0.08214,
              0.0984,
              0.12673,
              0.17721,
              0.29021,
              0.54212
            ],
            [
              0.08035,
              0.10244,
              0.12098,
              0.15283,
              0.20683,
              0.30955,
              0.5446
            ],
            [
              0.10384,
              0.13003,
              0.15167,
              0.18811,
              0.24904,
              0.35116,
              0.56631
            ],
            [
              0.13614,
              0.16734,
              0.19298,
              0.2356,
              0.3052,
              0.4193,
              0.6197
            ],
            [
              0.18,
              0.218,
              0.249,
              0.2994,
              0.3803,
              0.5096,
              0.7207
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.05084,
              0.08101,
              0.11065,
              0.16995,
              0.28791,
              0.52199,
              0.99238
            ],
            [
              0.0505,
              0.08074,
              0.11059,
              0.1696,
              0.28789,
              0.52189,
              0.99226
            ],
            [
              0.05025,
              0.08053,
              0.11043,
              0.1699,
              0.28732,
              0.52242,
              0.99067
            ],
            [
              0.04988,
              0.0805,
              0.1105,
              0.16951,
              0.28758,
              0.52298,
              0.99301
            ],
            [
              0.05013,
              0.08011,
              0.11027,
              0.16982,
              0.28718,
              0.52289,
              0.99279
            ],
            [
              0.05532,
              0.08149,
              0.10972,
              0.16959,
              0.28783,
              0.52299,
              0.99286
            ],
            [
              0.06694,
              0.08912,
              0.11446,
              0.16972,
              0.28767,
              0.52246,
              0.99316
            ],
            [
              0.08186,
              0.10574,
              0.1277,
              0.17696,
              0.28707,
              0.52165,
              0.99237
            ],
            [
              0.09736,
              0.12852,
              0.15324,
              0.19653,
              0.29683,
              0.52251,
              0.99295
            ],
            [
              0.11746,
              0.15431,
              0.18456,
              0.23391,
              0.32315,
              0.52927,
              0.99298
            ],
            [
              0.1431,
              0.18676,
              0.22308,
              0.28235,
              0.37542,
              0.56226,
              0.9942
            ],
            [
              0.17642,
              0.22772,
              0.271,
              0.3423,
              0.4545,
              0.6328,
              1.0285
            ],
            [
              0.2211,
              0.2804,
              0.3309,
              0.4164,
              0.5516,
              0.756,
              1.1176
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.03475,
              0.04691,
              0.05857,
              0.08133,
              0.12633,
              0.21593,
              0.3951
            ],
            [
              0.03683,
              0.04924,
              0.06099,
              0.08388,
              0.129,
              0.21866,
              0.39792
            ],
            [
              0.03952,
              0.05204,
              0.06397,
              0.08696,
              0.13221,
              0.22199,
              0.40114
            ],
            [
              0.04386,
              0.0565,
              0.0685,
              0.0917,
              0.13709,
              0.22693,
              0.40615
            ],
            [
              0.05079,
              0.06332,
              0.0754,
              0.09874,
              0.14433,
              0.23434,
              0.41385
            ],
            [
              0.0594,
              0.07389,
              0.08591,
              0.10937,
              0.1552,
              0.24542,
              0.42486
            ],
            [
              0.06926,
              0.08692,
              0.1013,
              0.12544,
              0.17138,
              0.26176,
              0.44147
            ],
            [
              0.08049,
              0.10208,
              0.11968,
              0.14868,
              0.19574,
              0.28642,
              0.46624
            ],
            [
              0.09305,
              0.11943,
              0.14103,
              0.17647,
              0.23191,
              0.32334,
              0.5032
            ],
            [
              0.1069,
              0.13914,
              0.16553,
              0.20895,
              0.27673,
              0.37901,
              0.55892
            ],
            [
              0.12178,
              0.16124,
              0.1935,
              0.24659,
              0.32952,
              0.45382,
              0.64272
            ],
            [
              0.13705,
              0.18547,
              0.22487,
              0.28977,
              0.39097,
              0.54287,
              0.76637
            ],
            [
              0.1515,
              0.2107,
              0.259,
              0.3384,
              0.4621,
              0.6475,
              0.9194
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.06035,
              0.09012,
              0.11858,
              0.17446,
              0.28431,
              0.50301,
              0.93861
            ],
            [
              0.061,
              0.09113,
              0.12008,
              0.17631,
              0.28648,
              0.5052,
              0.9415
            ],
            [
              0.06248,
              0.09256,
              0.12173,
              0.17834,
              0.28903,
              0.50799,
              0.94416
            ],
            [
              0.06548,
              0.09516,
              0.12448,
              0.18141,
              0.29241,
              0.5117,
              0.94796
            ],
            [
              0.07128,
              0.10011,
              0.1292,
              0.18627,
              0.29771,
              0.51752,
              0.95391
            ],
            [
              0.08147,
              0.1087,
              0.13726,
              0.19422,
              0.30597,
              0.52608,
              0.96322
            ],
            [
              0.09538,
              0.12351,
              0.15077,
              0.20701,
              0.31868,
              0.53908,
              0.97663
            ],
            [
              0.11018,
              0.14496,
              0.17336,
              0.22767,
              0.33872,
              0.55911,
              0.99646
            ],
            [
              0.1269,
              0.16879,
              0.20347,
              0.26115,
              0.37022,
              0.58993,
              1.02725
            ],
            [
              0.14602,
              0.19596,
              0.23765,
              0.3072,
              0.41967,
              0.63759,
              1.07439
            ],
            [
              0.16841,
              0.22704,
              0.27662,
              0.36007,
              0.49322,
              0.71152,
              1.14622
            ],
            [
              0.19547,
              0.26337,
              0.32147,
              0.42047,
              0.58007,
              0.82607,
              1.25677
            ],
            [
              0.2285,
              0.3069,
              0.3741,
              0.4899,
              0.6796,
              0.9744,
              1.4267
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02855,
              0.0444,
              0.06042,
              0.09249,
              0.15675,
              0.28547,
              0.54175
            ],
            [
              0.02852,
              0.04441,
              0.06033,
              0.0925,
              0.15681,
              0.28545,
              0.54264
            ],
            [
              0.02853,
              0.04437,
              0.06042,
              0.09245,
              0.15671,
              0.28545,
              0.54285
            ],
            [
              0.02832,
              0.04436,
              0.06039,
              0.09249,
              0.15674,
              0.28521,
              0.54295
            ],
            [
              0.03012,
              0.04457,
              0.0603,
              0.09245,
              0.15648,
              0.28539,
              0.54183
            ],
            [
              0.0352,
              0.04786,
              0.06196,
              0.09255,
              0.15682,
              0.28525,
              0.54293
            ],
            [
              0.04164,
              0.0559,
              0.06847,
              0.09588,
              0.1568,
              0.28552,
              0.54181
            ],
            [
              0.05011,
              0.06674,
              0.0813,
              0.10627,
              0.16182,
              0.28533,
              0.54191
            ],
            [
              0.06228,
              0.0812,
              0.09752,
              0.12597,
              0.17662,
              0.28991,
              0.54211
            ],
            [
              0.0794,
              0.10145,
              0.12006,
              0.15194,
              0.20589,
              0.30921,
              0.54439
            ],
            [
              0.10285,
              0.12914,
              0.15082,
              0.18731,
              0.24809,
              0.35044,
              0.56611
            ],
            [
              0.13497,
              0.16667,
              0.19233,
              0.23499,
              0.3046,
              0.4184,
              0.6191
            ],
            [
              0.1791,
              0.2182,
              0.2489,
              0.2997,
              0.3804,
              0.5093,
              0.7201
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07372,
              0.11589,
              0.15649,
              0.23694,
              0.39528,
              0.71223,
              1.34157
            ],
            [
              0.07345,
              0.11559,
              0.15647,
              0.23694,
              0.39519,
              0.71067,
              1.34332
            ],
            [
              0.07279,
              0.11527,
              0.15636,
              0.2369,
              0.39556,
              0.71151,
              1.34419
            ],
            [
              0.07159,
              0.11442,
              0.1559,
              0.23681,
              0.39552,
              0.71068,
              1.34199
            ],
            [
              0.07035,
              0.11351,
              0.15541,
              0.23644,
              0.39549,
              0.71149,
              1.34319
            ],
            [
              0.07328,
              0.11228,
              0.15405,
              0.23609,
              0.39584,
              0.71234,
              1.34418
            ],
            [
              0.08232,
              0.11742,
              0.155,
              0.23466,
              0.39532,
              0.71218,
              1.34434
            ],
            [
              0.10054,
              0.13054,
              0.16426,
              0.23692,
              0.39432,
              0.71199,
              1.34232
            ],
            [
              0.114,
              0.15523,
              0.18502,
              0.25082,
              0.39654,
              0.71204,
              1.34191
            ],
            [
              0.13327,
              0.17966,
              0.21928,
              0.28161,
              0.41428,
              0.71178,
              1.34325
            ],
            [
              0.15868,
              0.21148,
              0.25643,
              0.33257,
              0.45654,
              0.72927,
              1.3438
            ],
            [
              0.19205,
              0.25267,
              0.30456,
              0.3922,
              0.5338,
              0.7845,
              1.354
            ],
            [
              0.2365,
              0.3055,
              0.3654,
              0.467,
              0.6323,
              0.8925,
              1.4136
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.03585,
              0.04801,
              0.05962,
              0.0824,
              0.12746,
              0.21725,
              0.39655
            ],
            [
              0.03788,
              0.05025,
              0.06199,
              0.08493,
              0.13013,
              0.21993,
              0.39927
            ],
            [
              0.0405,
              0.05304,
              0.06489,
              0.08798,
              0.13329,
              0.22321,
              0.4026
            ],
            [
              0.04472,
              0.05737,
              0.06933,
              0.09256,
              0.13803,
              0.22806,
              0.40753
            ],
            [
              0.05148,
              0.06404,
              0.07615,
              0.0995,
              0.14517,
              0.23535,
              0.41492
            ],
            [
              0.06018,
              0.0745,
              0.08654,
              0.11001,
              0.15589,
              0.24624,
              0.42588
            ],
            [
              0.07015,
              0.08757,
              0.10191,
              0.12599,
              0.17198,
              0.26247,
              0.44229
            ],
            [
              0.08166,
              0.10288,
              0.12036,
              0.14923,
              0.19626,
              0.28703,
              0.46696
            ],
            [
              0.09488,
              0.1207,
              0.14201,
              0.17723,
              0.23253,
              0.32391,
              0.50389
            ],
            [
              0.11003,
              0.14136,
              0.1673,
              0.21023,
              0.27759,
              0.37978,
              0.55974
            ],
            [
              0.12715,
              0.16518,
              0.19664,
              0.24892,
              0.33101,
              0.45492,
              0.64382
            ],
            [
              0.1461,
              0.19227,
              0.23047,
              0.29387,
              0.39377,
              0.54467,
              0.76767
            ],
            [
              0.1665,
              0.2224,
              0.2688,
              0.3458,
              0.4673,
              0.6511,
              0.9219
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07718,
              0.09945,
              0.12095,
              0.16309,
              0.24614,
              0.41073,
              0.73904
            ],
            [
              0.07887,
              0.10129,
              0.12293,
              0.1653,
              0.24849,
              0.41324,
              0.74164
            ],
            [
              0.081,
              0.10351,
              0.12529,
              0.16779,
              0.25116,
              0.41594,
              0.74449
            ],
            [
              0.0845,
              0.10705,
              0.12892,
              0.17156,
              0.25512,
              0.42024,
              0.74877
            ],
            [
              0.09028,
              0.11277,
              0.13464,
              0.17738,
              0.26121,
              0.42646,
              0.75532
            ],
            [
              0.09973,
              0.12198,
              0.14378,
              0.18657,
              0.27037,
              0.43603,
              0.7649
            ],
            [
              0.11525,
              0.13676,
              0.15833,
              0.20089,
              0.28471,
              0.45071,
              0.77989
            ],
            [
              0.13529,
              0.16023,
              0.18142,
              0.22343,
              0.30703,
              0.47272,
              0.80198
            ],
            [
              0.15767,
              0.18794,
              0.21411,
              0.25876,
              0.3415,
              0.50669,
              0.83585
            ],
            [
              0.18283,
              0.21952,
              0.2514,
              0.30604,
              0.39476,
              0.55874,
              0.88719
            ],
            [
              0.21118,
              0.25513,
              0.29367,
              0.36015,
              0.46812,
              0.63882,
              0.96552
            ],
            [
              0.24367,
              0.29547,
              0.34147,
              0.42147,
              0.55287,
              0.75657,
              1.08507
            ],
            [
              0.2816,
              0.342,
              0.396,
              0.4908,
              0.6491,
              0.8971,
              1.2682
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04881,
              0.06453,
              0.08036,
              0.11212,
              0.17591,
              0.30372,
              0.56091
            ],
            [
              0.0488,
              0.06448,
              0.08037,
              0.11219,
              0.17597,
              0.30382,
              0.56126
            ],
            [
              0.04877,
              0.06455,
              0.08035,
              0.11212,
              0.17589,
              0.30387,
              0.56072
            ],
            [
              0.04862,
              0.0645,
              0.08035,
              0.11218,
              0.17589,
              0.30387,
              0.56015
            ],
            [
              0.05042,
              0.06482,
              0.08029,
              0.11209,
              0.17591,
              0.30384,
              0.56039
            ],
            [
              0.0554,
              0.06822,
              0.08214,
              0.11224,
              0.17591,
              0.30389,
              0.56068
            ],
            [
              0.06512,
              0.07619,
              0.08873,
              0.11596,
              0.17613,
              0.3038,
              0.56115
            ],
            [
              0.07759,
              0.09053,
              0.10193,
              0.12637,
              0.18134,
              0.30378,
              0.5608
            ],
            [
              0.09467,
              0.10868,
              0.12214,
              0.14682,
              0.19624,
              0.30925,
              0.56064
            ],
            [
              0.11834,
              0.13381,
              0.14864,
              0.17626,
              0.22599,
              0.32856,
              0.56331
            ],
            [
              0.15075,
              0.16811,
              0.18478,
              0.2157,
              0.27119,
              0.37004,
              0.58415
            ],
            [
              0.19451,
              0.21451,
              0.23347,
              0.26867,
              0.3314,
              0.4399,
              0.6387
            ],
            [
              0.2537,
              0.277,
              0.2991,
              0.34,
              0.4117,
              0.534,
              0.7395
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07403,
              0.10502,
              0.13592,
              0.19706,
              0.31921,
              0.56287,
              1.04803
            ],
            [
              0.07405,
              0.10501,
              0.13589,
              0.19704,
              0.31896,
              0.56191,
              1.04776
            ],
            [
              0.07383,
              0.105,
              0.13571,
              0.19711,
              0.31912,
              0.56329,
              1.05084
            ],
            [
              0.07378,
              0.10493,
              0.13586,
              0.19711,
              0.31939,
              0.56252,
              1.0499
            ],
            [
              0.07353,
              0.10481,
              0.13565,
              0.19713,
              0.31906,
              0.563,
              1.04744
            ],
            [
              0.07361,
              0.10416,
              0.13558,
              0.1969,
              0.31948,
              0.56249,
              1.05103
            ],
            [
              0.07966,
              0.10717,
              0.13599,
              0.19673,
              0.31928,
              0.56249,
              1.04871
            ],
            [
              0.09464,
              0.11885,
              0.14486,
              0.20017,
              0.31909,
              0.5631,
              1.05084
            ],
            [
              0.1148,
              0.14295,
              0.16567,
              0.21501,
              0.32435,
              0.56275,
              1.04991
            ],
            [
              0.13767,
              0.17194,
              0.20099,
              0.24823,
              0.34649,
              0.56661,
              1.04953
            ],
            [
              0.16687,
              0.20778,
              0.24209,
              0.30027,
              0.39454,
              0.59526,
              1.0495
            ],
            [
              0.20379,
              0.25239,
              0.2936,
              0.3631,
              0.4746,
              0.6607,
              1.0765
            ],
            [
              0.2515,
              0.3086,
              0.3579,
              0.4413,
              0.5753,
              0.781,
              1.1601
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.03586,
              0.04804,
              0.05965,
              0.08244,
              0.12752,
              0.21728,
              0.39655
            ],
            [
              0.03796,
              0.05035,
              0.06206,
              0.08502,
              0.13019,
              0.22002,
              0.39936
            ],
            [
              0.04067,
              0.05319,
              0.06508,
              0.08815,
              0.13345,
              0.22336,
              0.40272
            ],
            [
              0.04503,
              0.05763,
              0.06963,
              0.09284,
              0.13831,
              0.22834,
              0.40775
            ],
            [
              0.05191,
              0.06448,
              0.07656,
              0.09989,
              0.14559,
              0.23575,
              0.41531
            ],
            [
              0.06086,
              0.07505,
              0.08709,
              0.11057,
              0.15641,
              0.24677,
              0.42643
            ],
            [
              0.07109,
              0.08841,
              0.10267,
              0.12666,
              0.17267,
              0.26312,
              0.44289
            ],
            [
              0.08282,
              0.10394,
              0.12133,
              0.15009,
              0.19715,
              0.28779,
              0.46768
            ],
            [
              0.09602,
              0.12183,
              0.14312,
              0.17826,
              0.23339,
              0.3248,
              0.50479
            ],
            [
              0.11078,
              0.14225,
              0.16829,
              0.21124,
              0.27862,
              0.38061,
              0.5606
            ],
            [
              0.12696,
              0.16536,
              0.19708,
              0.2496,
              0.332,
              0.45582,
              0.64472
            ],
            [
              0.14413,
              0.19097,
              0.22977,
              0.29377,
              0.39427,
              0.54567,
              0.76857
            ],
            [
              0.1614,
              0.2185,
              0.2657,
              0.3439,
              0.4666,
              0.6513,
              0.9226
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09523,
              0.12476,
              0.15336,
              0.20936,
              0.31994,
              0.53932,
              0.9768
            ],
            [
              0.09654,
              0.12629,
              0.1551,
              0.21139,
              0.32217,
              0.54177,
              0.97941
            ],
            [
              0.09823,
              0.12808,
              0.15704,
              0.21361,
              0.32458,
              0.54445,
              0.98222
            ],
            [
              0.10111,
              0.13101,
              0.16007,
              0.21683,
              0.32825,
              0.54832,
              0.98618
            ],
            [
              0.10604,
              0.13587,
              0.16501,
              0.22196,
              0.33367,
              0.55404,
              0.99231
            ],
            [
              0.11447,
              0.14397,
              0.173,
              0.23,
              0.34184,
              0.56251,
              1.00112
            ],
            [
              0.12864,
              0.15731,
              0.18604,
              0.2428,
              0.35473,
              0.57582,
              1.01473
            ],
            [
              0.15103,
              0.17931,
              0.20712,
              0.26329,
              0.37483,
              0.59598,
              1.03506
            ],
            [
              0.17631,
              0.21087,
              0.24122,
              0.29576,
              0.40643,
              0.62694,
              1.06595
            ],
            [
              0.20516,
              0.24668,
              0.283,
              0.3461,
              0.45575,
              0.67469,
              1.11309
            ],
            [
              0.23809,
              0.28751,
              0.3311,
              0.40678,
              0.53192,
              0.74902,
              1.18502
            ],
            [
              0.27637,
              0.33437,
              0.38597,
              0.47647,
              0.62657,
              0.86357,
              1.29627
            ],
            [
              0.3221,
              0.3892,
              0.4495,
              0.5562,
              0.7356,
              1.02,
              1.4675
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04856,
              0.06427,
              0.08013,
              0.11191,
              0.17572,
              0.30387,
              0.56
            ],
            [
              0.04854,
              0.06428,
              0.08013,
              0.11188,
              0.17562,
              0.30385,
              0.56015
            ],
            [
              0.04853,
              0.06429,
              0.08009,
              0.1119,
              0.17569,
              0.30386,
              0.56017
            ],
            [
              0.04838,
              0.06428,
              0.08007,
              0.11186,
              0.17572,
              0.30385,
              0.55988
            ],
            [
              0.05004,
              0.06445,
              0.08001,
              0.11188,
              0.17565,
              0.30373,
              0.55997
            ],
            [
              0.05483,
              0.06768,
              0.08176,
              0.11198,
              0.17562,
              0.30385,
              0.55989
            ],
            [
              0.06426,
              0.07544,
              0.08805,
              0.11541,
              0.17594,
              0.30386,
              0.56009
            ],
            [
              0.07645,
              0.08952,
              0.10102,
              0.12568,
              0.18086,
              0.30386,
              0.56009
            ],
            [
              0.09326,
              0.10736,
              0.12088,
              0.1457,
              0.19556,
              0.3088,
              0.55993
            ],
            [
              0.11685,
              0.13242,
              0.1473,
              0.17515,
              0.22488,
              0.32782,
              0.56292
            ],
            [
              0.14923,
              0.16678,
              0.18352,
              0.21455,
              0.2701,
              0.36921,
              0.58446
            ],
            [
              0.19314,
              0.21341,
              0.23265,
              0.26773,
              0.3305,
              0.4387,
              0.6371
            ],
            [
              0.2527,
              0.2767,
              0.299,
              0.3398,
              0.4114,
              0.5334,
              0.7388
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10338,
              0.14464,
              0.18534,
              0.26593,
              0.42605,
              0.74487,
              1.3784
            ],
            [
              0.10312,
              0.14457,
              0.18539,
              0.26602,
              0.42612,
              0.74391,
              1.37986
            ],
            [
              0.1031,
              0.14446,
              0.18514,
              0.26593,
              0.42598,
              0.74425,
              1.38091
            ],
            [
              0.10257,
              0.14423,
              0.1851,
              0.26593,
              0.42613,
              0.74384,
              1.37856
            ],
            [
              0.10212,
              0.14389,
              0.18496,
              0.26544,
              0.42606,
              0.74494,
              1.38069
            ],
            [
              0.10038,
              0.14306,
              0.1843,
              0.26535,
              0.42588,
              0.74473,
              1.38001
            ],
            [
              0.10366,
              0.14275,
              0.18262,
              0.265,
              0.42583,
              0.74385,
              1.38078
            ],
            [
              0.11517,
              0.15046,
              0.18735,
              0.26423,
              0.42567,
              0.74482,
              1.3812
            ],
            [
              0.13831,
              0.17008,
              0.20342,
              0.27352,
              0.42544,
              0.74476,
              1.38129
            ],
            [
              0.15901,
              0.20201,
              0.23612,
              0.29989,
              0.43838,
              0.74391,
              1.38067
            ],
            [
              0.18771,
              0.23672,
              0.27898,
              0.35043,
              0.47747,
              0.75801,
              1.3806
            ],
            [
              0.22494,
              0.2816,
              0.3306,
              0.4148,
              0.5509,
              0.8093,
              1.3897
            ],
            [
              0.2726,
              0.3384,
              0.3955,
              0.4939,
              0.6552,
              0.9136,
              1.4459
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.03587,
              0.04806,
              0.05967,
              0.08246,
              0.12755,
              0.21731,
              0.39656
            ],
            [
              0.03799,
              0.05036,
              0.0621,
              0.08505,
              0.13025,
              0.22006,
              0.39937
            ],
            [
              0.0407,
              0.05322,
              0.0651,
              0.08818,
              0.13347,
              0.22342,
              0.40277
            ],
            [
              0.04506,
              0.05769,
              0.06968,
              0.09288,
              0.13834,
              0.22839,
              0.4078
            ],
            [
              0.05193,
              0.06452,
              0.07659,
              0.09994,
              0.1456,
              0.23581,
              0.41531
            ],
            [
              0.06089,
              0.07507,
              0.08712,
              0.11061,
              0.15643,
              0.24681,
              0.42669
            ],
            [
              0.07111,
              0.08842,
              0.10269,
              0.12668,
              0.17269,
              0.26315,
              0.44292
            ],
            [
              0.08281,
              0.10394,
              0.12134,
              0.15012,
              0.19716,
              0.28782,
              0.46768
            ],
            [
              0.09598,
              0.1218,
              0.1431,
              0.17825,
              0.23338,
              0.3248,
              0.50483
            ],
            [
              0.11073,
              0.14221,
              0.16821,
              0.21121,
              0.27861,
              0.38062,
              0.5606
            ],
            [
              0.1269,
              0.16532,
              0.19704,
              0.24958,
              0.33198,
              0.45582,
              0.64472
            ],
            [
              0.14408,
              0.19097,
              0.22967,
              0.29377,
              0.39437,
              0.54567,
              0.76857
            ],
            [
              0.1614,
              0.2185,
              0.2657,
              0.3439,
              0.4666,
              0.6513,
              0.9226
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.11953,
              0.1496,
              0.17849,
              0.23466,
              0.34471,
              0.56178,
              0.99317
            ],
            [
              0.12115,
              0.1513,
              0.18035,
              0.23672,
              0.3469,
              0.56411,
              0.99554
            ],
            [
              0.12318,
              0.15338,
              0.18247,
              0.239,
              0.34945,
              0.56687,
              0.99852
            ],
            [
              0.12638,
              0.15659,
              0.18576,
              0.24243,
              0.35313,
              0.57081,
              1.00258
            ],
            [
              0.13157,
              0.16176,
              0.19095,
              0.24779,
              0.35869,
              0.57658,
              1.00871
            ],
            [
              0.13997,
              0.17003,
              0.1992,
              0.25603,
              0.36714,
              0.58532,
              1.01762
            ],
            [
              0.15348,
              0.18332,
              0.21237,
              0.26915,
              0.38031,
              0.59865,
              1.03133
            ],
            [
              0.17574,
              0.2045,
              0.23325,
              0.28975,
              0.40053,
              0.6191,
              1.05186
            ],
            [
              0.20775,
              0.23907,
              0.26662,
              0.3221,
              0.43231,
              0.65049,
              1.08325
            ],
            [
              0.24395,
              0.28136,
              0.31468,
              0.37344,
              0.4818,
              0.69879,
              1.13099
            ],
            [
              0.28528,
              0.33001,
              0.36999,
              0.44049,
              0.55892,
              0.77362,
              1.20402
            ],
            [
              0.33267,
              0.38547,
              0.43317,
              0.51777,
              0.66007,
              0.88897,
              1.31617
            ],
            [
              0.388,
              0.4496,
              0.5058,
              0.606,
              0.7766,
              1.0506,
              1.4885
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.06262,
              0.07994,
              0.09698,
              0.13028,
              0.19515,
              0.32304,
              0.57861
            ],
            [
              0.06261,
              0.07995,
              0.09698,
              0.13027,
              0.19515,
              0.32305,
              0.57856
            ],
            [
              0.06259,
              0.07992,
              0.09697,
              0.13027,
              0.19513,
              0.32303,
              0.57877
            ],
            [
              0.06243,
              0.0799,
              0.09698,
              0.13027,
              0.19515,
              0.32306,
              0.5786
            ],
            [
              0.06409,
              0.08014,
              0.09691,
              0.13026,
              0.19514,
              0.32308,
              0.57857
            ],
            [
              0.06889,
              0.08334,
              0.09861,
              0.13032,
              0.19514,
              0.32304,
              0.57887
            ],
            [
              0.0785,
              0.0911,
              0.10488,
              0.13384,
              0.19531,
              0.32302,
              0.5786
            ],
            [
              0.09587,
              0.10617,
              0.11782,
              0.144,
              0.20025,
              0.32302,
              0.57872
            ],
            [
              0.11616,
              0.12831,
              0.14077,
              0.16398,
              0.215,
              0.32808,
              0.57872
            ],
            [
              0.14442,
              0.15714,
              0.17036,
              0.19623,
              0.24416,
              0.34714,
              0.58152
            ],
            [
              0.18313,
              0.19663,
              0.21086,
              0.23883,
              0.2914,
              0.38799,
              0.60232
            ],
            [
              0.23572,
              0.25029,
              0.26581,
              0.29664,
              0.3548,
              0.4587,
              0.6557
            ],
            [
              0.3065,
              0.3228,
              0.3402,
              0.3748,
              0.44,
              0.5562,
              0.7573
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12656,
              0.16667,
              0.20641,
              0.28589,
              0.44329,
              0.75929,
              1.38869
            ],
            [
              0.12635,
              0.16645,
              0.20652,
              0.28558,
              0.44343,
              0.75907,
              1.3869
            ],
            [
              0.1265,
              0.16659,
              0.20652,
              0.28589,
              0.44373,
              0.75814,
              1.38643
            ],
            [
              0.1264,
              0.16657,
              0.20628,
              0.28585,
              0.44342,
              0.75884,
              1.38631
            ],
            [
              0.1262,
              0.16644,
              0.20646,
              0.28574,
              0.44338,
              0.75758,
              1.38763
            ],
            [
              0.12512,
              0.16603,
              0.20624,
              0.28578,
              0.44392,
              0.75906,
              1.38848
            ],
            [
              0.12403,
              0.16405,
              0.20538,
              0.28553,
              0.44368,
              0.7589,
              1.38803
            ],
            [
              0.13088,
              0.16787,
              0.20599,
              0.28378,
              0.4435,
              0.75828,
              1.38739
            ],
            [
              0.14936,
              0.1829,
              0.21762,
              0.28963,
              0.44204,
              0.75879,
              1.38592
            ],
            [
              0.1767,
              0.21527,
              0.24631,
              0.31222,
              0.45323,
              0.75748,
              1.3871
            ],
            [
              0.20713,
              0.25289,
              0.29287,
              0.35939,
              0.48822,
              0.7702,
              1.3883
            ],
            [
              0.2468,
              0.3005,
              0.347,
              0.4274,
              0.559,
              0.8168,
              1.3942
            ],
            [
              0.2977,
              0.3603,
              0.4152,
              0.5099,
              0.6661,
              0.9201,
              1.449
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04339,
              0.0553,
              0.06677,
              0.08944,
              0.13443,
              0.22403,
              0.40314
            ],
            [
              0.04589,
              0.05799,
              0.06961,
              0.09238,
              0.13744,
              0.22712,
              0.40623
            ],
            [
              0.04874,
              0.06107,
              0.07277,
              0.09566,
              0.14083,
              0.23057,
              0.40966
            ],
            [
              0.05272,
              0.06522,
              0.07705,
              0.10007,
              0.14538,
              0.2352,
              0.41445
            ],
            [
              0.05838,
              0.07097,
              0.08294,
              0.10615,
              0.15162,
              0.24165,
              0.42082
            ],
            [
              0.06578,
              0.07931,
              0.0914,
              0.11477,
              0.16039,
              0.25056,
              0.42999
            ],
            [
              0.07462,
              0.08987,
              0.10335,
              0.1274,
              0.17325,
              0.26366,
              0.44336
            ],
            [
              0.08561,
              0.10293,
              0.11811,
              0.14511,
              0.19237,
              0.28297,
              0.46296
            ],
            [
              0.0987,
              0.11912,
              0.13665,
              0.16724,
              0.21983,
              0.31195,
              0.49206
            ],
            [
              0.11357,
              0.13845,
              0.15937,
              0.195,
              0.25466,
              0.35509,
              0.53575
            ],
            [
              0.12948,
              0.16057,
              0.18625,
              0.22909,
              0.29854,
              0.41165,
              0.60152
            ],
            [
              0.14565,
              0.18487,
              0.21687,
              0.26957,
              0.35277,
              0.48327,
              0.69487
            ],
            [
              0.1619,
              0.211,
              0.251,
              0.3164,
              0.4181,
              0.5728,
              0.8138
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.06945,
              0.08882,
              0.10772,
              0.14488,
              0.21834,
              0.3643,
              0.65571
            ],
            [
              0.07095,
              0.09045,
              0.10944,
              0.14666,
              0.22018,
              0.36633,
              0.65761
            ],
            [
              0.07304,
              0.09267,
              0.11173,
              0.14904,
              0.22275,
              0.36886,
              0.66027
            ],
            [
              0.07659,
              0.09632,
              0.11546,
              0.15293,
              0.22667,
              0.37293,
              0.66436
            ],
            [
              0.08254,
              0.10226,
              0.12144,
              0.15894,
              0.23289,
              0.3792,
              0.67068
            ],
            [
              0.09224,
              0.11177,
              0.1309,
              0.16841,
              0.24242,
              0.38883,
              0.68051
            ],
            [
              0.1075,
              0.1269,
              0.14582,
              0.18319,
              0.25703,
              0.40347,
              0.69509
            ],
            [
              0.12506,
              0.14871,
              0.16911,
              0.20612,
              0.27976,
              0.42607,
              0.71761
            ],
            [
              0.14493,
              0.17354,
              0.19833,
              0.24091,
              0.31436,
              0.46017,
              0.75142
            ],
            [
              0.16701,
              0.20149,
              0.23154,
              0.28317,
              0.36729,
              0.51253,
              0.80269
            ],
            [
              0.19177,
              0.23269,
              0.26874,
              0.33124,
              0.43336,
              0.59232,
              0.88152
            ],
            [
              0.22007,
              0.26787,
              0.31037,
              0.38517,
              0.50867,
              0.70137,
              1.00047
            ],
            [
              0.2531,
              0.3084,
              0.3579,
              0.4456,
              0.5932,
              0.8269,
              1.1786
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02849,
              0.04437,
              0.06033,
              0.0925,
              0.15655,
              0.28484,
              0.54244
            ],
            [
              0.0285,
              0.04429,
              0.06031,
              0.09234,
              0.15676,
              0.28542,
              0.54286
            ],
            [
              0.0285,
              0.04432,
              0.06033,
              0.09236,
              0.15669,
              0.2855,
              0.542
            ],
            [
              0.02854,
              0.04438,
              0.06034,
              0.09244,
              0.1567,
              0.28555,
              0.54295
            ],
            [
              0.02915,
              0.04442,
              0.06037,
              0.0924,
              0.15658,
              0.28493,
              0.54279
            ],
            [
              0.03207,
              0.04629,
              0.06138,
              0.09245,
              0.15666,
              0.28544,
              0.54292
            ],
            [
              0.03712,
              0.05129,
              0.06526,
              0.09496,
              0.15677,
              0.28536,
              0.54288
            ],
            [
              0.04372,
              0.05899,
              0.07358,
              0.10132,
              0.16061,
              0.2856,
              0.54292
            ],
            [
              0.05356,
              0.06987,
              0.0852,
              0.11448,
              0.17001,
              0.28941,
              0.54222
            ],
            [
              0.06823,
              0.08597,
              0.10228,
              0.13286,
              0.19016,
              0.30204,
              0.54636
            ],
            [
              0.09013,
              0.10938,
              0.12707,
              0.15947,
              0.21923,
              0.33016,
              0.56051
            ],
            [
              0.1222,
              0.1435,
              0.16282,
              0.1975,
              0.2608,
              0.3767,
              0.5967
            ],
            [
              0.1685,
              0.1922,
              0.2135,
              0.2521,
              0.32,
              0.4418,
              0.6661
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.0675,
              0.09543,
              0.12321,
              0.17876,
              0.28961,
              0.51184,
              0.95324
            ],
            [
              0.06742,
              0.09537,
              0.12326,
              0.17886,
              0.29016,
              0.5118,
              0.95235
            ],
            [
              0.06742,
              0.09537,
              0.12318,
              0.17883,
              0.28959,
              0.51226,
              0.95376
            ],
            [
              0.06724,
              0.09532,
              0.12319,
              0.17864,
              0.29001,
              0.51221,
              0.95417
            ],
            [
              0.06688,
              0.09518,
              0.12316,
              0.17868,
              0.28971,
              0.5116,
              0.95429
            ],
            [
              0.06887,
              0.09526,
              0.12291,
              0.17861,
              0.28943,
              0.51161,
              0.95358
            ],
            [
              0.07689,
              0.10073,
              0.12585,
              0.17869,
              0.28957,
              0.51133,
              0.95505
            ],
            [
              0.09332,
              0.11431,
              0.1369,
              0.18501,
              0.28996,
              0.51067,
              0.95423
            ],
            [
              0.11079,
              0.1383,
              0.16,
              0.20344,
              0.29919,
              0.51106,
              0.95495
            ],
            [
              0.13303,
              0.16549,
              0.19302,
              0.23884,
              0.3253,
              0.52077,
              0.9553
            ],
            [
              0.16059,
              0.19961,
              0.2324,
              0.28806,
              0.3774,
              0.55546,
              0.9599
            ],
            [
              0.19483,
              0.24132,
              0.281,
              0.3477,
              0.4554,
              0.6281,
              0.9989
            ],
            [
              0.2382,
              0.2932,
              0.3407,
              0.421,
              0.5503,
              0.7502,
              1.0935
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04341,
              0.05531,
              0.06681,
              0.08945,
              0.1344,
              0.22403,
              0.40317
            ],
            [
              0.04595,
              0.05807,
              0.06969,
              0.09242,
              0.13744,
              0.2271,
              0.40631
            ],
            [
              0.04884,
              0.06116,
              0.0729,
              0.09578,
              0.14084,
              0.23069,
              0.40973
            ],
            [
              0.05287,
              0.06538,
              0.0772,
              0.10025,
              0.1455,
              0.23536,
              0.41457
            ],
            [
              0.05855,
              0.07118,
              0.08318,
              0.10637,
              0.15184,
              0.24186,
              0.42105
            ],
            [
              0.06601,
              0.07953,
              0.09166,
              0.11502,
              0.16067,
              0.25088,
              0.43024
            ],
            [
              0.0749,
              0.09012,
              0.10366,
              0.1277,
              0.17354,
              0.26398,
              0.44358
            ],
            [
              0.08587,
              0.10325,
              0.11845,
              0.14545,
              0.19271,
              0.28334,
              0.46319
            ],
            [
              0.09899,
              0.11942,
              0.13696,
              0.16758,
              0.22016,
              0.31229,
              0.49238
            ],
            [
              0.11381,
              0.13871,
              0.15965,
              0.19534,
              0.25502,
              0.35549,
              0.53618
            ],
            [
              0.12962,
              0.16074,
              0.18645,
              0.22935,
              0.29885,
              0.412,
              0.60192
            ],
            [
              0.14546,
              0.18477,
              0.21687,
              0.26967,
              0.35297,
              0.48357,
              0.69517
            ],
            [
              0.1608,
              0.2101,
              0.2503,
              0.316,
              0.418,
              0.5729,
              0.8141
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07538,
              0.09697,
              0.11806,
              0.15956,
              0.24168,
              0.40482,
              0.73015
            ],
            [
              0.07672,
              0.09847,
              0.11966,
              0.16122,
              0.24347,
              0.4066,
              0.73229
            ],
            [
              0.07865,
              0.10052,
              0.1218,
              0.16352,
              0.24584,
              0.40907,
              0.73475
            ],
            [
              0.08198,
              0.10394,
              0.12529,
              0.16714,
              0.24954,
              0.41298,
              0.7387
            ],
            [
              0.08762,
              0.10958,
              0.13099,
              0.17293,
              0.2555,
              0.41908,
              0.7449
            ],
            [
              0.09698,
              0.11872,
              0.14006,
              0.18202,
              0.26465,
              0.42831,
              0.75417
            ],
            [
              0.11227,
              0.13337,
              0.15449,
              0.19626,
              0.27885,
              0.44239,
              0.76862
            ],
            [
              0.13073,
              0.15571,
              0.1772,
              0.21845,
              0.30079,
              0.46436,
              0.7903
            ],
            [
              0.15164,
              0.18169,
              0.20786,
              0.25294,
              0.33435,
              0.49734,
              0.82305
            ],
            [
              0.17505,
              0.21114,
              0.24272,
              0.29713,
              0.38632,
              0.54818,
              0.87299
            ],
            [
              0.2014,
              0.24417,
              0.28198,
              0.34758,
              0.45532,
              0.62612,
              0.94902
            ],
            [
              0.23177,
              0.28167,
              0.32617,
              0.40437,
              0.53427,
              0.73787,
              1.06527
            ],
            [
              0.2676,
              0.3251,
              0.3768,
              0.4686,
              0.6234,
              0.8692,
              1.2419
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02852,
              0.04437,
              0.06039,
              0.09248,
              0.15668,
              0.28556,
              0.54205
            ],
            [
              0.02848,
              0.04432,
              0.06039,
              0.09242,
              0.1568,
              0.28534,
              0.54229
            ],
            [
              0.0285,
              0.0443,
              0.06026,
              0.09249,
              0.15676,
              0.28543,
              0.54302
            ],
            [
              0.02852,
              0.04439,
              0.06032,
              0.09246,
              0.15668,
              0.28554,
              0.54174
            ],
            [
              0.0291,
              0.04438,
              0.06026,
              0.09227,
              0.15661,
              0.28503,
              0.54279
            ],
            [
              0.03201,
              0.04617,
              0.06135,
              0.09244,
              0.1566,
              0.28551,
              0.54288
            ],
            [
              0.03705,
              0.05112,
              0.0652,
              0.09474,
              0.15706,
              0.28529,
              0.54294
            ],
            [
              0.04361,
              0.05885,
              0.07353,
              0.1012,
              0.16035,
              0.28507,
              0.54255
            ],
            [
              0.05344,
              0.06971,
              0.08515,
              0.11429,
              0.16994,
              0.2893,
              0.54256
            ],
            [
              0.06809,
              0.08577,
              0.1021,
              0.13249,
              0.18999,
              0.30253,
              0.54613
            ],
            [
              0.08981,
              0.10911,
              0.12679,
              0.15919,
              0.21893,
              0.33003,
              0.56088
            ],
            [
              0.12176,
              0.14309,
              0.16243,
              0.1972,
              0.2606,
              0.3766,
              0.596
            ],
            [
              0.1677,
              0.1916,
              0.2131,
              0.2517,
              0.3198,
              0.4417,
              0.6659
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.0766,
              0.10789,
              0.13883,
              0.20047,
              0.3233,
              0.56923,
              1.06096
            ],
            [
              0.07654,
              0.10784,
              0.13882,
              0.20066,
              0.32327,
              0.5694,
              1.05923
            ],
            [
              0.07656,
              0.10783,
              0.1388,
              0.2006,
              0.32322,
              0.5696,
              1.05755
            ],
            [
              0.0763,
              0.10773,
              0.13886,
              0.20063,
              0.32377,
              0.56918,
              1.0601
            ],
            [
              0.07585,
              0.1075,
              0.13859,
              0.20049,
              0.32367,
              0.56837,
              1.05952
            ],
            [
              0.07684,
              0.10688,
              0.13835,
              0.20043,
              0.32367,
              0.56942,
              1.06079
            ],
            [
              0.08401,
              0.11126,
              0.13985,
              0.20005,
              0.32319,
              0.56938,
              1.05816
            ],
            [
              0.09924,
              0.12364,
              0.14974,
              0.20482,
              0.32302,
              0.56913,
              1.0588
            ],
            [
              0.11785,
              0.14758,
              0.17106,
              0.22112,
              0.33031,
              0.56899,
              1.05824
            ],
            [
              0.13973,
              0.17477,
              0.20464,
              0.25442,
              0.35381,
              0.57458,
              1.05736
            ],
            [
              0.16732,
              0.20891,
              0.24422,
              0.30416,
              0.40253,
              0.60505,
              1.0598
            ],
            [
              0.20174,
              0.25091,
              0.29298,
              0.3645,
              0.4801,
              0.6722,
              1.0919
            ],
            [
              0.2453,
              0.3033,
              0.3533,
              0.4385,
              0.5765,
              0.7916,
              1.1798
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04342,
              0.05532,
              0.06683,
              0.08947,
              0.13442,
              0.22408,
              0.40316
            ],
            [
              0.04597,
              0.05806,
              0.06969,
              0.09244,
              0.13746,
              0.22711,
              0.4063
            ],
            [
              0.04886,
              0.06118,
              0.07292,
              0.09579,
              0.14089,
              0.2307,
              0.40972
            ],
            [
              0.05288,
              0.06539,
              0.07723,
              0.10025,
              0.14552,
              0.23533,
              0.41454
            ],
            [
              0.05855,
              0.07118,
              0.08318,
              0.10637,
              0.15184,
              0.24183,
              0.42105
            ],
            [
              0.06601,
              0.07953,
              0.09166,
              0.11502,
              0.16066,
              0.25089,
              0.43025
            ],
            [
              0.07489,
              0.09011,
              0.10364,
              0.12767,
              0.17355,
              0.26397,
              0.44356
            ],
            [
              0.08586,
              0.10322,
              0.11843,
              0.14543,
              0.1927,
              0.28333,
              0.46317
            ],
            [
              0.09894,
              0.1194,
              0.13695,
              0.16757,
              0.22015,
              0.31228,
              0.49236
            ],
            [
              0.1138,
              0.1387,
              0.15965,
              0.19532,
              0.255,
              0.35544,
              0.53617
            ],
            [
              0.12962,
              0.16072,
              0.18644,
              0.22933,
              0.29883,
              0.41199,
              0.60182
            ],
            [
              0.14544,
              0.18467,
              0.21687,
              0.26967,
              0.35297,
              0.48357,
              0.69517
            ],
            [
              0.1608,
              0.2102,
              0.2503,
              0.316,
              0.418,
              0.5729,
              0.8141
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07525,
              0.0967,
              0.11765,
              0.15885,
              0.24037,
              0.40236,
              0.72576
            ],
            [
              0.0766,
              0.09821,
              0.11923,
              0.16054,
              0.24217,
              0.40432,
              0.72751
            ],
            [
              0.07853,
              0.10028,
              0.1214,
              0.16281,
              0.24457,
              0.40667,
              0.7302
            ],
            [
              0.08185,
              0.10369,
              0.12491,
              0.16645,
              0.24832,
              0.41064,
              0.73396
            ],
            [
              0.08752,
              0.10935,
              0.13061,
              0.17228,
              0.25429,
              0.41669,
              0.74011
            ],
            [
              0.09689,
              0.11851,
              0.13971,
              0.18138,
              0.26349,
              0.42593,
              0.74972
            ],
            [
              0.11217,
              0.13319,
              0.15417,
              0.19566,
              0.27764,
              0.44021,
              0.76403
            ],
            [
              0.13058,
              0.15549,
              0.17693,
              0.21791,
              0.29967,
              0.46218,
              0.78589
            ],
            [
              0.15143,
              0.18141,
              0.2075,
              0.25245,
              0.33333,
              0.49534,
              0.81875
            ],
            [
              0.17476,
              0.21077,
              0.24227,
              0.29653,
              0.38541,
              0.54617,
              0.86879
            ],
            [
              0.20102,
              0.2437,
              0.28143,
              0.34686,
              0.45432,
              0.62432,
              0.94502
            ],
            [
              0.23127,
              0.28107,
              0.32547,
              0.40357,
              0.53307,
              0.73597,
              1.06157
            ],
            [
              0.267,
              0.3244,
              0.3759,
              0.4676,
              0.6219,
              0.8671,
              1.2384
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02849,
              0.04437,
              0.06039,
              0.09249,
              0.15668,
              0.28556,
              0.54182
            ],
            [
              0.02847,
              0.04435,
              0.06038,
              0.09236,
              0.15653,
              0.28539,
              0.54212
            ],
            [
              0.0285,
              0.0443,
              0.06034,
              0.09249,
              0.15681,
              0.2854,
              0.54278
            ],
            [
              0.02852,
              0.04439,
              0.06037,
              0.09248,
              0.15681,
              0.28543,
              0.54223
            ],
            [
              0.0291,
              0.04442,
              0.06038,
              0.09226,
              0.15658,
              0.28554,
              0.5429
            ],
            [
              0.03202,
              0.04618,
              0.06135,
              0.09243,
              0.15664,
              0.28532,
              0.54289
            ],
            [
              0.03705,
              0.05114,
              0.0652,
              0.09491,
              0.15706,
              0.28529,
              0.54292
            ],
            [
              0.04359,
              0.05887,
              0.07351,
              0.10121,
              0.16038,
              0.28506,
              0.5426
            ],
            [
              0.05346,
              0.06971,
              0.0851,
              0.1143,
              0.16994,
              0.28935,
              0.54257
            ],
            [
              0.06805,
              0.08578,
              0.10211,
              0.1325,
              0.18994,
              0.30199,
              0.54614
            ],
            [
              0.08981,
              0.10912,
              0.12679,
              0.15919,
              0.219,
              0.32995,
              0.56069
            ],
            [
              0.12179,
              0.14311,
              0.16251,
              0.1973,
              0.2606,
              0.3766,
              0.5966
            ],
            [
              0.1677,
              0.1917,
              0.2131,
              0.2517,
              0.3198,
              0.4417,
              0.666
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.07595,
              0.107,
              0.13767,
              0.1991,
              0.3215,
              0.56569,
              1.05196
            ],
            [
              0.07601,
              0.10687,
              0.13781,
              0.19903,
              0.32142,
              0.56515,
              1.05421
            ],
            [
              0.07588,
              0.10691,
              0.1377,
              0.19915,
              0.32142,
              0.56565,
              1.05318
            ],
            [
              0.07562,
              0.10688,
              0.13775,
              0.19915,
              0.32142,
              0.56485,
              1.05422
            ],
            [
              0.07529,
              0.10668,
              0.13762,
              0.19894,
              0.3213,
              0.56584,
              1.05424
            ],
            [
              0.07634,
              0.10611,
              0.1373,
              0.19898,
              0.32124,
              0.56577,
              1.05324
            ],
            [
              0.08358,
              0.11059,
              0.13896,
              0.19866,
              0.32139,
              0.56554,
              1.05412
            ],
            [
              0.09888,
              0.12299,
              0.14877,
              0.20352,
              0.32104,
              0.56473,
              1.05279
            ],
            [
              0.11747,
              0.14705,
              0.17027,
              0.22001,
              0.32831,
              0.56472,
              1.05143
            ],
            [
              0.13938,
              0.17425,
              0.20395,
              0.25345,
              0.35197,
              0.57171,
              1.05172
            ],
            [
              0.16696,
              0.20841,
              0.24357,
              0.30321,
              0.40082,
              0.6016,
              1.0538
            ],
            [
              0.20145,
              0.25046,
              0.29227,
              0.3635,
              0.4786,
              0.6692,
              1.0873
            ],
            [
              0.2449,
              0.3028,
              0.3526,
              0.4375,
              0.575,
              0.7893,
              1.1746
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04343,
              0.05538,
              0.06687,
              0.0895,
              0.13441,
              0.22396,
              0.40323
            ],
            [
              0.04605,
              0.0582,
              0.06979,
              0.09254,
              0.13755,
              0.22714,
              0.40638
            ],
            [
              0.04903,
              0.06138,
              0.07309,
              0.09595,
              0.14109,
              0.23068,
              0.40999
            ],
            [
              0.05315,
              0.06569,
              0.07755,
              0.10053,
              0.14583,
              0.23558,
              0.41491
            ],
            [
              0.05897,
              0.07161,
              0.08364,
              0.10683,
              0.15228,
              0.24225,
              0.42147
            ],
            [
              0.06658,
              0.08011,
              0.09224,
              0.11563,
              0.1613,
              0.25144,
              0.43101
            ],
            [
              0.07558,
              0.09088,
              0.10438,
              0.12839,
              0.17431,
              0.26471,
              0.44429
            ],
            [
              0.08667,
              0.10411,
              0.11932,
              0.14627,
              0.19353,
              0.28416,
              0.46414
            ],
            [
              0.09984,
              0.12034,
              0.13793,
              0.16855,
              0.22114,
              0.31322,
              0.49333
            ],
            [
              0.11465,
              0.13961,
              0.1606,
              0.19634,
              0.25604,
              0.35648,
              0.53717
            ],
            [
              0.13025,
              0.16141,
              0.1872,
              0.23022,
              0.29984,
              0.41305,
              0.60282
            ],
            [
              0.14529,
              0.18467,
              0.21697,
              0.27007,
              0.35367,
              0.48447,
              0.69627
            ],
            [
              0.1583,
              0.2082,
              0.2488,
              0.3151,
              0.4178,
              0.5734,
              0.8149
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09357,
              0.12252,
              0.15092,
              0.20694,
              0.31788,
              0.53825,
              0.97816
            ],
            [
              0.09441,
              0.12361,
              0.15212,
              0.20826,
              0.31932,
              0.53992,
              0.97991
            ],
            [
              0.09583,
              0.12521,
              0.1539,
              0.21021,
              0.32136,
              0.54211,
              0.98222
            ],
            [
              0.09853,
              0.12804,
              0.1568,
              0.2133,
              0.32473,
              0.54551,
              0.98557
            ],
            [
              0.10339,
              0.13285,
              0.16169,
              0.21835,
              0.33003,
              0.55109,
              0.99141
            ],
            [
              0.11182,
              0.14091,
              0.16971,
              0.22644,
              0.33819,
              0.55933,
              0.99972
            ],
            [
              0.12601,
              0.15425,
              0.18271,
              0.23915,
              0.35095,
              0.57232,
              1.01303
            ],
            [
              0.14722,
              0.17612,
              0.20358,
              0.25944,
              0.37084,
              0.59201,
              1.03266
            ],
            [
              0.1713,
              0.20586,
              0.23648,
              0.29133,
              0.40165,
              0.62224,
              1.06245
            ],
            [
              0.19875,
              0.2399,
              0.27615,
              0.33961,
              0.44974,
              0.66889,
              1.10819
            ],
            [
              0.23013,
              0.27866,
              0.3217,
              0.39716,
              0.52302,
              0.74092,
              1.17832
            ],
            [
              0.26677,
              0.32317,
              0.37367,
              0.46297,
              0.61267,
              0.85217,
              1.28587
            ],
            [
              0.3109,
              0.3756,
              0.434,
              0.5383,
              0.7155,
              1.0002,
              1.4513
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.02852,
              0.04437,
              0.06041,
              0.0925,
              0.15661,
              0.28543,
              0.54242
            ],
            [
              0.02851,
              0.04441,
              0.06033,
              0.09249,
              0.15643,
              0.28519,
              0.54289
            ],
            [
              0.02852,
              0.0444,
              0.06031,
              0.09249,
              0.1568,
              0.28541,
              0.5419
            ],
            [
              0.02855,
              0.04439,
              0.0604,
              0.09241,
              0.15679,
              0.28547,
              0.5419
            ],
            [
              0.02903,
              0.04441,
              0.0604,
              0.09233,
              0.15646,
              0.28492,
              0.54292
            ],
            [
              0.03184,
              0.04611,
              0.06129,
              0.09236,
              0.15646,
              0.2855,
              0.54182
            ],
            [
              0.03689,
              0.05096,
              0.06502,
              0.09475,
              0.15677,
              0.28496,
              0.54291
            ],
            [
              0.04341,
              0.05855,
              0.07323,
              0.10098,
              0.16043,
              0.28516,
              0.54291
            ],
            [
              0.05314,
              0.0693,
              0.08466,
              0.11375,
              0.16968,
              0.2893,
              0.54234
            ],
            [
              0.06762,
              0.08521,
              0.10141,
              0.13211,
              0.18932,
              0.30223,
              0.54588
            ],
            [
              0.08891,
              0.10834,
              0.12604,
              0.15849,
              0.21819,
              0.32943,
              0.56028
            ],
            [
              0.1201,
              0.14188,
              0.16132,
              0.1964,
              0.2599,
              0.376,
              0.5956
            ],
            [
              0.1651,
              0.1898,
              0.2118,
              0.2506,
              0.3191,
              0.4411,
              0.6653
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10856,
              0.15065,
              0.19238,
              0.27455,
              0.43724,
              0.76168,
              1.40997
            ],
            [
              0.10845,
              0.15056,
              0.19226,
              0.27421,
              0.4376,
              0.76212,
              1.40998
            ],
            [
              0.10812,
              0.15029,
              0.19186,
              0.27453,
              0.43767,
              0.76263,
              1.40924
            ],
            [
              0.10766,
              0.15003,
              0.19204,
              0.27445,
              0.43697,
              0.76152,
              1.411
            ],
            [
              0.10685,
              0.14961,
              0.19174,
              0.27432,
              0.43763,
              0.76179,
              1.40831
            ],
            [
              0.10564,
              0.14848,
              0.19092,
              0.27399,
              0.43687,
              0.76203,
              1.41048
            ],
            [
              0.10996,
              0.14928,
              0.18982,
              0.27321,
              0.43734,
              0.76204,
              1.40993
            ],
            [
              0.12169,
              0.15782,
              0.19514,
              0.27319,
              0.43666,
              0.76233,
              1.41142
            ],
            [
              0.14315,
              0.17756,
              0.21183,
              0.28374,
              0.43664,
              0.76113,
              1.41109
            ],
            [
              0.16287,
              0.20728,
              0.24401,
              0.31067,
              0.45167,
              0.76196,
              1.40889
            ],
            [
              0.18994,
              0.24036,
              0.28399,
              0.3596,
              0.4917,
              0.7766,
              1.4106
            ],
            [
              0.2246,
              0.28262,
              0.333,
              0.4204,
              0.5638,
              0.8289,
              1.421
            ],
            [
              0.2683,
              0.3355,
              0.3939,
              0.4955,
              0.6631,
              0.9338,
              1.4804
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.0445,
              0.05638,
              0.06787,
              0.09054,
              0.13555,
              0.22527,
              0.40454
            ],
            [
              0.04705,
              0.05915,
              0.07076,
              0.09353,
              0.13863,
              0.22838,
              0.40764
            ],
            [
              0.04998,
              0.06228,
              0.07399,
              0.0969,
              0.14207,
              0.2319,
              0.4112
            ],
            [
              0.054,
              0.0665,
              0.07834,
              0.10139,
              0.14672,
              0.23664,
              0.41606
            ],
            [
              0.05969,
              0.07232,
              0.0843,
              0.10756,
              0.15306,
              0.24312,
              0.42258
            ],
            [
              0.06729,
              0.08069,
              0.09282,
              0.11623,
              0.16196,
              0.25221,
              0.43182
            ],
            [
              0.07635,
              0.09143,
              0.10488,
              0.1289,
              0.17486,
              0.26536,
              0.44515
            ],
            [
              0.08761,
              0.10473,
              0.11985,
              0.14674,
              0.19403,
              0.28483,
              0.46482
            ],
            [
              0.1011,
              0.12122,
              0.13864,
              0.16911,
              0.22159,
              0.31385,
              0.49419
            ],
            [
              0.11659,
              0.14101,
              0.16171,
              0.19718,
              0.25666,
              0.35701,
              0.5381
            ],
            [
              0.13334,
              0.16374,
              0.18909,
              0.23162,
              0.30085,
              0.41387,
              0.60392
            ],
            [
              0.15062,
              0.18877,
              0.22037,
              0.27267,
              0.35547,
              0.48587,
              0.69737
            ],
            [
              0.1681,
              0.2158,
              0.2551,
              0.3199,
              0.4212,
              0.5757,
              0.8167
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.10169,
              0.12361,
              0.14511,
              0.18751,
              0.27129,
              0.43762,
              0.76927
            ],
            [
              0.10318,
              0.12518,
              0.14675,
              0.18918,
              0.2731,
              0.43948,
              0.77097
            ],
            [
              0.10525,
              0.12732,
              0.14896,
              0.19149,
              0.27546,
              0.4419,
              0.77354
            ],
            [
              0.1087,
              0.13085,
              0.15255,
              0.1952,
              0.27924,
              0.44583,
              0.77743
            ],
            [
              0.11435,
              0.13655,
              0.15827,
              0.20099,
              0.28518,
              0.45182,
              0.78356
            ],
            [
              0.12349,
              0.14564,
              0.16737,
              0.21007,
              0.29432,
              0.46112,
              0.79312
            ],
            [
              0.13798,
              0.15998,
              0.18162,
              0.2242,
              0.30847,
              0.47523,
              0.80736
            ],
            [
              0.16074,
              0.1825,
              0.20389,
              0.24629,
              0.33032,
              0.49712,
              0.82907
            ],
            [
              0.1879,
              0.21424,
              0.23795,
              0.28039,
              0.36377,
              0.5301,
              0.86185
            ],
            [
              0.21882,
              0.25056,
              0.27906,
              0.32952,
              0.41548,
              0.58071,
              0.91169
            ],
            [
              0.25353,
              0.29154,
              0.32585,
              0.38677,
              0.48922,
              0.65842,
              0.98752
            ],
            [
              0.29287,
              0.33767,
              0.37847,
              0.45157,
              0.57537,
              0.77337,
              1.10367
            ],
            [
              0.3384,
              0.3904,
              0.4382,
              0.5246,
              0.6727,
              0.9122,
              1.2805
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04865,
              0.06438,
              0.08024,
              0.11207,
              0.1759,
              0.30397,
              0.55994
            ],
            [
              0.04866,
              0.06439,
              0.0802,
              0.11199,
              0.1757,
              0.30393,
              0.5604
            ],
            [
              0.04866,
              0.06442,
              0.08025,
              0.11198,
              0.17581,
              0.30384,
              0.56059
            ],
            [
              0.04867,
              0.06442,
              0.08023,
              0.11197,
              0.17575,
              0.30382,
              0.56078
            ],
            [
              0.04923,
              0.06446,
              0.08021,
              0.11197,
              0.17573,
              0.30397,
              0.56058
            ],
            [
              0.05194,
              0.06627,
              0.0812,
              0.11212,
              0.17572,
              0.30396,
              0.56049
            ],
            [
              0.05777,
              0.07088,
              0.08494,
              0.1145,
              0.17607,
              0.30378,
              0.56106
            ],
            [
              0.0667,
              0.08025,
              0.09325,
              0.12078,
              0.17976,
              0.30414,
              0.55987
            ],
            [
              0.07912,
              0.09313,
              0.10702,
              0.13416,
              0.18909,
              0.30846,
              0.56014
            ],
            [
              0.0973,
              0.11188,
              0.12629,
              0.15435,
              0.20894,
              0.32103,
              0.56359
            ],
            [
              0.12422,
              0.13925,
              0.1542,
              0.18342,
              0.23997,
              0.34842,
              0.57872
            ],
            [
              0.16375,
              0.17907,
              0.19455,
              0.2251,
              0.2838,
              0.3961,
              0.6146
            ],
            [
              0.22,
              0.2356,
              0.2521,
              0.2845,
              0.3464,
              0.4632,
              0.6844
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.09818,
              0.13046,
              0.16226,
              0.22554,
              0.3513,
              0.60228,
              1.10026
            ],
            [
              0.09817,
              0.13045,
              0.16236,
              0.2254,
              0.35112,
              0.60201,
              1.10402
            ],
            [
              0.09813,
              0.13044,
              0.16228,
              0.22567,
              0.35106,
              0.60211,
              1.10243
            ],
            [
              0.09809,
              0.13024,
              0.16211,
              0.22545,
              0.35153,
              0.60146,
              1.10396
            ],
            [
              0.09789,
              0.13029,
              0.16222,
              0.22564,
              0.35095,
              0.60223,
              1.10365
            ],
            [
              0.09744,
              0.13007,
              0.16203,
              0.2255,
              0.35139,
              0.60172,
              1.10103
            ],
            [
              0.10049,
              0.13076,
              0.16178,
              0.22529,
              0.35106,
              0.60221,
              1.10191
            ],
            [
              0.11152,
              0.13928,
              0.1679,
              0.22709,
              0.35133,
              0.6015,
              1.10049
            ],
            [
              0.1341,
              0.15944,
              0.18534,
              0.23963,
              0.35502,
              0.60178,
              1.10012
            ],
            [
              0.15864,
              0.19145,
              0.21983,
              0.2693,
              0.37464,
              0.60577,
              1.10075
            ],
            [
              0.18998,
              0.22862,
              0.26223,
              0.32097,
              0.41995,
              0.63154,
              1.1035
            ],
            [
              0.2288,
              0.2752,
              0.3152,
              0.384,
              0.4985,
              0.6952,
              1.1315
            ],
            [
              0.2773,
              0.332,
              0.3799,
              0.4624,
              0.5976,
              0.8118,
              1.2141
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04451,
              0.05642,
              0.06793,
              0.09057,
              0.13558,
              0.22532,
              0.40453
            ],
            [
              0.04713,
              0.05922,
              0.07086,
              0.09362,
              0.13871,
              0.22848,
              0.40773
            ],
            [
              0.05013,
              0.06243,
              0.07416,
              0.09705,
              0.14222,
              0.23207,
              0.41135
            ],
            [
              0.05425,
              0.06676,
              0.07862,
              0.10167,
              0.14699,
              0.23692,
              0.4163
            ],
            [
              0.06007,
              0.07271,
              0.08471,
              0.10795,
              0.15346,
              0.24354,
              0.42297
            ],
            [
              0.06783,
              0.0812,
              0.09335,
              0.11677,
              0.16249,
              0.25277,
              0.43238
            ],
            [
              0.07698,
              0.09211,
              0.10555,
              0.12956,
              0.17553,
              0.26601,
              0.44581
            ],
            [
              0.08833,
              0.10554,
              0.12064,
              0.14752,
              0.19477,
              0.28556,
              0.46556
            ],
            [
              0.10191,
              0.12209,
              0.13949,
              0.16998,
              0.22244,
              0.31467,
              0.49499
            ],
            [
              0.11731,
              0.14181,
              0.16257,
              0.19808,
              0.25762,
              0.35788,
              0.53895
            ],
            [
              0.13386,
              0.16432,
              0.18974,
              0.2324,
              0.30175,
              0.41478,
              0.60482
            ],
            [
              0.15036,
              0.18867,
              0.22047,
              0.27297,
              0.35607,
              0.48667,
              0.69827
            ],
            [
              0.1657,
              0.2139,
              0.2537,
              0.3191,
              0.421,
              0.5761,
              0.8174
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.12698,
              0.15571,
              0.18395,
              0.23973,
              0.35005,
              0.56927,
              1.00627
            ],
            [
              0.12808,
              0.15693,
              0.18523,
              0.24109,
              0.35161,
              0.57078,
              1.00774
            ],
            [
              0.12974,
              0.15872,
              0.18711,
              0.2431,
              0.35369,
              0.57299,
              1.01002
            ],
            [
              0.13267,
              0.16173,
              0.19023,
              0.2463,
              0.357,
              0.57654,
              1.01388
            ],
            [
              0.1376,
              0.1667,
              0.19527,
              0.25148,
              0.36238,
              0.5821,
              1.01941
            ],
            [
              0.14575,
              0.17479,
              0.20336,
              0.25965,
              0.37071,
              0.59043,
              1.02802
            ],
            [
              0.159,
              0.18781,
              0.21626,
              0.27245,
              0.38347,
              0.60344,
              1.04093
            ],
            [
              0.18048,
              0.20861,
              0.23675,
              0.29264,
              0.40351,
              0.62332,
              1.06086
            ],
            [
              0.21121,
              0.24171,
              0.2692,
              0.32426,
              0.43428,
              0.65371,
              1.09105
            ],
            [
              0.24645,
              0.28251,
              0.31517,
              0.37383,
              0.48237,
              0.70059,
              1.13709
            ],
            [
              0.2866,
              0.32941,
              0.36831,
              0.43789,
              0.55682,
              0.77272,
              1.20742
            ],
            [
              0.33257,
              0.38277,
              0.42887,
              0.51157,
              0.65307,
              0.88417,
              1.31557
            ],
            [
              0.3864,
              0.4447,
              0.4983,
              0.5956,
              0.7637,
              1.0382,
              1.4817
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.0484,
              0.06416,
              0.07996,
              0.11173,
              0.17551,
              0.30336,
              0.56
            ],
            [
              0.04837,
              0.06414,
              0.07999,
              0.11175,
              0.17565,
              0.30353,
              0.5601
            ],
            [
              0.04839,
              0.06413,
              0.07995,
              0.11177,
              0.17564,
              0.30353,
              0.55991
            ],
            [
              0.0484,
              0.06416,
              0.08,
              0.11169,
              0.1755,
              0.30342,
              0.56033
            ],
            [
              0.0489,
              0.06421,
              0.07996,
              0.11173,
              0.17553,
              0.30365,
              0.55991
            ],
            [
              0.05154,
              0.0659,
              0.08086,
              0.11179,
              0.17562,
              0.30344,
              0.56083
            ],
            [
              0.05729,
              0.07041,
              0.08453,
              0.11406,
              0.1758,
              0.30362,
              0.56066
            ],
            [
              0.06617,
              0.07967,
              0.09268,
              0.12026,
              0.1794,
              0.30381,
              0.55991
            ],
            [
              0.07841,
              0.09237,
              0.10624,
              0.13349,
              0.1885,
              0.30803,
              0.55991
            ],
            [
              0.0964,
              0.11094,
              0.12536,
              0.1535,
              0.20821,
              0.32056,
              0.5632
            ],
            [
              0.12297,
              0.13806,
              0.15306,
              0.18246,
              0.23901,
              0.34771,
              0.57919
            ],
            [
              0.16168,
              0.17741,
              0.19313,
              0.2238,
              0.2828,
              0.3951,
              0.6139
            ],
            [
              0.2173,
              0.2336,
              0.2504,
              0.2832,
              0.3457,
              0.4629,
              0.6838
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.13487,
              0.17697,
              0.21836,
              0.30031,
              0.46345,
              0.7865,
              1.43365
            ],
            [
              0.13481,
              0.17679,
              0.21838,
              0.3003,
              0.46296,
              0.78768,
              1.43371
            ],
            [
              0.13471,
              0.17681,
              0.21826,
              0.30044,
              0.46311,
              0.78731,
              1.4337
            ],
            [
              0.13457,
              0.17654,
              0.21812,
              0.30051,
              0.46334,
              0.78682,
              1.4315
            ],
            [
              0.13412,
              0.17654,
              0.21791,
              0.30044,
              0.46339,
              0.78702,
              1.43313
            ],
            [
              0.13322,
              0.17603,
              0.2179,
              0.3002,
              0.46299,
              0.78742,
              1.43209
            ],
            [
              0.13323,
              0.17468,
              0.21663,
              0.29995,
              0.4634,
              0.78744,
              1.43409
            ],
            [
              0.14066,
              0.17925,
              0.21844,
              0.29881,
              0.46236,
              0.78758,
              1.43385
            ],
            [
              0.15913,
              0.19469,
              0.23096,
              0.3053,
              0.46249,
              0.78615,
              1.43304
            ],
            [
              0.18635,
              0.2262,
              0.25981,
              0.32856,
              0.47347,
              0.78631,
              1.43114
            ],
            [
              0.21682,
              0.26335,
              0.30458,
              0.3748,
              0.50898,
              0.80008,
              1.4338
            ],
            [
              0.2559,
              0.3098,
              0.3573,
              0.4409,
              0.5795,
              0.8471,
              1.4409
            ],
            [
              0.305,
              0.3678,
              0.4233,
              0.5203,
              0.6826,
              0.9502,
              1.497
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.04451,
              0.05643,
              0.06791,
              0.09059,
              0.13559,
              0.22532,
              0.40454
            ],
            [
              0.04714,
              0.05927,
              0.07088,
              0.09364,
              0.13873,
              0.2285,
              0.40775
            ],
            [
              0.05015,
              0.06248,
              0.07419,
              0.0971,
              0.14229,
              0.2321,
              0.41143
            ],
            [
              0.05428,
              0.06679,
              0.07865,
              0.10171,
              0.14702,
              0.23695,
              0.41652
            ],
            [
              0.06008,
              0.07276,
              0.08472,
              0.10799,
              0.15348,
              0.24356,
              0.42301
            ],
            [
              0.06784,
              0.08121,
              0.09338,
              0.1168,
              0.16252,
              0.25278,
              0.43266
            ],
            [
              0.07701,
              0.09214,
              0.10556,
              0.12958,
              0.17555,
              0.26604,
              0.44581
            ],
            [
              0.08835,
              0.10554,
              0.12066,
              0.14753,
              0.19479,
              0.28558,
              0.46561
            ],
            [
              0.10189,
              0.12205,
              0.13948,
              0.16998,
              0.22244,
              0.31468,
              0.49501
            ],
            [
              0.11729,
              0.14179,
              0.16255,
              0.19804,
              0.25761,
              0.3579,
              0.53896
            ],
            [
              0.13384,
              0.16429,
              0.18972,
              0.23238,
              0.30175,
              0.41478,
              0.60482
            ],
            [
              0.1503,
              0.18867,
              0.22037,
              0.27287,
              0.35607,
              0.48667,
              0.69817
            ],
            [
              0.1656,
              0.2139,
              0.2537,
              0.319,
              0.421,
              0.5761,
              0.8174
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.15211,
              0.18105,
              0.20938,
              0.26504,
              0.37467,
              0.59148,
              1.02257
            ],
            [
              0.1533,
              0.18233,
              0.21072,
              0.26644,
              0.37617,
              0.59309,
              1.02414
            ],
            [
              0.15508,
              0.18418,
              0.21264,
              0.2685,
              0.37827,
              0.59521,
              1.02642
            ],
            [
              0.15817,
              0.18734,
              0.21588,
              0.2718,
              0.38176,
              0.59884,
              1.03008
            ],
            [
              0.16329,
              0.19251,
              0.22107,
              0.27711,
              0.38714,
              0.60441,
              1.03591
            ],
            [
              0.17157,
              0.20077,
              0.22935,
              0.2854,
              0.3956,
              0.61297,
              1.04442
            ],
            [
              0.18483,
              0.21393,
              0.24244,
              0.29847,
              0.4086,
              0.62606,
              1.05783
            ],
            [
              0.20576,
              0.23461,
              0.26297,
              0.31879,
              0.42878,
              0.64621,
              1.07796
            ],
            [
              0.23913,
              0.26717,
              0.2951,
              0.35045,
              0.45992,
              0.67688,
              1.10835
            ],
            [
              0.28033,
              0.31365,
              0.34425,
              0.39975,
              0.50818,
              0.72419,
              1.15489
            ],
            [
              0.32772,
              0.36737,
              0.40368,
              0.46932,
              0.58292,
              0.79702,
              1.22602
            ],
            [
              0.38167,
              0.42847,
              0.47157,
              0.54977,
              0.68477,
              0.90897,
              1.33507
            ],
            [
              0.444,
              0.4986,
              0.5491,
              0.6416,
              0.8024,
              1.0679,
              1.5025
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.06246,
              0.07982,
              0.09686,
              0.13013,
              0.19502,
              0.32292,
              0.57864
            ],
            [
              0.06246,
              0.07981,
              0.09685,
              0.13013,
              0.19503,
              0.3229,
              0.57864
            ],
            [
              0.06245,
              0.07977,
              0.09685,
              0.13011,
              0.19502,
              0.32296,
              0.57858
            ],
            [
              0.06248,
              0.07978,
              0.09685,
              0.13012,
              0.19503,
              0.32311,
              0.57854
            ],
            [
              0.06295,
              0.07985,
              0.09685,
              0.13013,
              0.19502,
              0.32291,
              0.57834
            ],
            [
              0.06561,
              0.08153,
              0.09776,
              0.13022,
              0.19503,
              0.32292,
              0.57882
            ],
            [
              0.07149,
              0.08612,
              0.10139,
              0.13246,
              0.1953,
              0.32291,
              0.57864
            ],
            [
              0.08364,
              0.09611,
              0.10956,
              0.13863,
              0.19877,
              0.32313,
              0.57865
            ],
            [
              0.09885,
              0.11192,
              0.12534,
              0.15181,
              0.20799,
              0.3273,
              0.5784
            ],
            [
              0.12028,
              0.13344,
              0.14699,
              0.17417,
              0.22745,
              0.33992,
              0.58223
            ],
            [
              0.15105,
              0.16408,
              0.17777,
              0.2054,
              0.26013,
              0.36684,
              0.59699
            ],
            [
              0.19553,
              0.20806,
              0.22176,
              0.2498,
              0.3061,
              0.4153,
              0.6322
            ],
            [
              0.2589,
              0.2707,
              0.2844,
              0.3134,
              0.3716,
              0.4847,
              0.7022
            ]
          ]
        },
        "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.00547,
            0.01094,
            0.02187,
            0.04374,
            0.08747,
            0.17493
          ],
          "values": [
            [
              0.15609,
              0.19747,
              0.23853,
              0.31951,
              0.48048,
              0.80043,
              1.44145
            ],
            [
              0.15612,
              0.19744,
              0.23842,
              0.31977,
              0.48107,
              0.8014,
              1.44145
            ],
            [
              0.15611,
              0.19764,
              0.23864,
              0.31945,
              0.48091,
              0.80153,
              1.44116
            ],
            [
              0.15607,
              0.19746,
              0.23838,
              0.31933,
              0.48106,
              0.80057,
              1.43873
            ],
            [
              0.15592,
              0.19741,
              0.23846,
              0.31931,
              0.48009,
              0.80164,
              1.4392
            ],
            [
              0.15545,
              0.19729,
              0.23852,
              0.31975,
              0.48072,
              0.80039,
              1.44131
            ],
            [
              0.15393,
              0.19631,
              0.23809,
              0.31967,
              0.48021,
              0.80078,
              1.44025
            ],
            [
              0.15783,
              0.19742,
              0.23726,
              0.31845,
              0.48092,
              0.80181,
              1.4414
            ],
            [
              0.17253,
              0.20924,
              0.24615,
              0.32202,
              0.47943,
              0.80169,
              1.44141
            ],
            [
              0.20266,
              0.23749,
              0.27174,
              0.34165,
              0.48828,
              0.79998,
              1.44145
            ],
            [
              0.23487,
              0.27883,
              0.31817,
              0.38537,
              0.52044,
              0.81179,
              1.4389
            ],
            [
              0.2769,
              0.328,
              0.3735,
              0.4536,
              0.5884,
              0.8577,
              1.4451
            ],
            [
              0.3293,
              0.3896,
              0.4428,
              0.5362,
              0.6941,
              0.9568,
              1.5009
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}