{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "cell_leakage_power": 0.0,
  "dont_touch": "true",
  "dont_use": "true",
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "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.00206,
    "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.00495,
          0.00476,
          0.00498,
          0.00483,
          0.00478,
          0.00492,
          0.00491,
          0.0049,
          0.0049,
          0.00531,
          0.00532,
          0.00584,
          0.00577
        ]
      },
      "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.00291,
          0.00264,
          0.00248,
          0.00275,
          0.00274,
          0.00273,
          0.00278,
          0.00279,
          0.00278,
          0.003,
          0.00295,
          0.00311,
          0.00291
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.002,
    "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.00528,
          0.00488,
          0.00485,
          0.0048,
          0.0047,
          0.00486,
          0.00487,
          0.00487,
          0.00486,
          0.00526,
          0.00527,
          0.0059,
          0.00572
        ]
      },
      "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.00279,
          0.00279,
          0.00305,
          0.00275,
          0.00286,
          0.00283,
          0.00284,
          0.00286,
          0.00285,
          0.00307,
          0.00301,
          0.00324,
          0.003
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00222,
    "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.00501,
          0.00494,
          0.00486,
          0.00486,
          0.0048,
          0.00491,
          0.00489,
          0.0049,
          0.0049,
          0.0053,
          0.00531,
          0.00602,
          0.00587
        ]
      },
      "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.00304,
          0.00276,
          0.00302,
          0.00298,
          0.00285,
          0.00291,
          0.00292,
          0.00292,
          0.00293,
          0.00315,
          0.00309,
          0.00322,
          0.00307
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00224,
    "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.00287,
          0.00283,
          0.00297,
          0.00286,
          0.0029,
          0.00295,
          0.00296,
          0.00297,
          0.00297,
          0.0032,
          0.00315,
          0.00331,
          0.00322
        ]
      },
      "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.00484,
          0.00498,
          0.00505,
          0.00496,
          0.00492,
          0.00497,
          0.00497,
          0.00496,
          0.00495,
          0.00536,
          0.00536,
          0.00576,
          0.00577
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00234,
    "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.00257,
          0.00253,
          0.00269,
          0.00261,
          0.00258,
          0.00262,
          0.00263,
          0.00265,
          0.00264,
          0.00283,
          0.00276,
          0.00286,
          0.00271
        ]
      },
      "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.00508,
          0.0049,
          0.00499,
          0.00488,
          0.00494,
          0.00497,
          0.00495,
          0.00496,
          0.00495,
          0.00537,
          0.00538,
          0.00582,
          0.00589
        ]
      }
    },
    "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.00422,
              -0.00811,
              -0.0112,
              -0.01505,
              -0.01987,
              -0.0259,
              -0.03343
            ],
            [
              0.00425,
              -0.0081,
              -0.01119,
              -0.01504,
              -0.01986,
              -0.02589,
              -0.03342
            ],
            [
              0.00427,
              -0.00808,
              -0.01117,
              -0.01502,
              -0.01984,
              -0.02587,
              -0.0334
            ],
            [
              0.0043,
              -0.00804,
              -0.01113,
              -0.01499,
              -0.01981,
              -0.02584,
              -0.03336
            ],
            [
              0.00436,
              -0.00801,
              -0.0111,
              -0.01495,
              -0.01978,
              -0.02581,
              -0.03334
            ],
            [
              0.00442,
              -0.00797,
              -0.01106,
              -0.01492,
              -0.01974,
              -0.02578,
              -0.03331
            ],
            [
              0.00449,
              -0.00793,
              -0.01102,
              -0.01488,
              -0.0197,
              -0.02574,
              -0.03327
            ],
            [
              0.00457,
              -0.00788,
              -0.01098,
              -0.01484,
              -0.01967,
              -0.02571,
              -0.03324
            ],
            [
              0.00465,
              -0.00783,
              -0.01093,
              -0.0148,
              -0.01963,
              -0.02567,
              -0.03321
            ],
            [
              0.00471,
              -0.00778,
              -0.01088,
              -0.01475,
              -0.01959,
              -0.02563,
              -0.03317
            ],
            [
              0.00473,
              -0.00774,
              -0.01085,
              -0.01472,
              -0.01955,
              -0.0256,
              -0.03315
            ],
            [
              0.00467,
              -0.00772,
              -0.01082,
              -0.01469,
              -0.01952,
              -0.02557,
              -0.03312
            ],
            [
              0.00452,
              -0.00778,
              -0.01088,
              -0.01473,
              -0.01956,
              -0.0256,
              -0.03314
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0169,
              0.0292,
              0.03226,
              0.03608,
              0.04085,
              0.0468,
              0.05426
            ],
            [
              0.01689,
              0.02922,
              0.03227,
              0.03609,
              0.04084,
              0.04683,
              0.05427
            ],
            [
              0.01685,
              0.02922,
              0.03228,
              0.0361,
              0.04086,
              0.0468,
              0.05428
            ],
            [
              0.01681,
              0.0292,
              0.03229,
              0.03609,
              0.04087,
              0.04681,
              0.05427
            ],
            [
              0.01675,
              0.0292,
              0.03226,
              0.0361,
              0.04086,
              0.04681,
              0.0543
            ],
            [
              0.01669,
              0.02918,
              0.03225,
              0.03607,
              0.04083,
              0.04681,
              0.05427
            ],
            [
              0.01663,
              0.02914,
              0.03222,
              0.03605,
              0.04081,
              0.04682,
              0.05427
            ],
            [
              0.01657,
              0.02909,
              0.03218,
              0.03604,
              0.04079,
              0.04678,
              0.05426
            ],
            [
              0.01652,
              0.02904,
              0.03213,
              0.03596,
              0.04075,
              0.04674,
              0.05422
            ],
            [
              0.0165,
              0.02897,
              0.03206,
              0.0359,
              0.04069,
              0.04667,
              0.0542
            ],
            [
              0.0165,
              0.02889,
              0.03198,
              0.03583,
              0.04063,
              0.04663,
              0.05412
            ],
            [
              0.01651,
              0.02882,
              0.03191,
              0.03574,
              0.04054,
              0.04653,
              0.054
            ],
            [
              0.01651,
              0.0288,
              0.03186,
              0.03568,
              0.0405,
              0.0465,
              0.054
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.00427,
              -0.00806,
              -0.01115,
              -0.015,
              -0.01982,
              -0.02586,
              -0.03338
            ],
            [
              0.00428,
              -0.00805,
              -0.01114,
              -0.01499,
              -0.01981,
              -0.02584,
              -0.03337
            ],
            [
              0.00431,
              -0.00802,
              -0.01111,
              -0.01497,
              -0.01979,
              -0.02582,
              -0.03335
            ],
            [
              0.00435,
              -0.00798,
              -0.01107,
              -0.01493,
              -0.01975,
              -0.02578,
              -0.03331
            ],
            [
              0.00438,
              -0.00796,
              -0.01105,
              -0.0149,
              -0.01972,
              -0.02576,
              -0.03329
            ],
            [
              0.00443,
              -0.00793,
              -0.01102,
              -0.01487,
              -0.01969,
              -0.02573,
              -0.03326
            ],
            [
              0.0045,
              -0.00789,
              -0.01099,
              -0.01484,
              -0.01966,
              -0.0257,
              -0.03323
            ],
            [
              0.00457,
              -0.00785,
              -0.01095,
              -0.01481,
              -0.01963,
              -0.02567,
              -0.0332
            ],
            [
              0.00464,
              -0.0078,
              -0.01091,
              -0.01477,
              -0.0196,
              -0.02564,
              -0.03317
            ],
            [
              0.00472,
              -0.00775,
              -0.01085,
              -0.01472,
              -0.01955,
              -0.0256,
              -0.03314
            ],
            [
              0.00477,
              -0.0077,
              -0.01081,
              -0.01468,
              -0.01952,
              -0.02556,
              -0.03311
            ],
            [
              0.00479,
              -0.00766,
              -0.01077,
              -0.01464,
              -0.01948,
              -0.02553,
              -0.03307
            ],
            [
              0.00472,
              -0.00766,
              -0.01077,
              -0.01463,
              -0.01947,
              -0.02551,
              -0.03306
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.01866,
              0.03088,
              0.03393,
              0.03774,
              0.04248,
              0.04846,
              0.05585
            ],
            [
              0.01863,
              0.03088,
              0.03392,
              0.03774,
              0.04248,
              0.04844,
              0.05588
            ],
            [
              0.01862,
              0.03086,
              0.03392,
              0.03771,
              0.04248,
              0.04843,
              0.05585
            ],
            [
              0.01858,
              0.03083,
              0.0339,
              0.03771,
              0.04247,
              0.04844,
              0.05587
            ],
            [
              0.01854,
              0.03083,
              0.03389,
              0.0377,
              0.04246,
              0.04842,
              0.05586
            ],
            [
              0.01849,
              0.0308,
              0.03387,
              0.03768,
              0.04244,
              0.04841,
              0.05586
            ],
            [
              0.01843,
              0.03079,
              0.03386,
              0.03768,
              0.04244,
              0.04841,
              0.05585
            ],
            [
              0.01838,
              0.03076,
              0.03383,
              0.03766,
              0.04243,
              0.04843,
              0.05583
            ],
            [
              0.01833,
              0.03073,
              0.03379,
              0.03761,
              0.04239,
              0.04835,
              0.05583
            ],
            [
              0.01831,
              0.03068,
              0.03374,
              0.03759,
              0.04236,
              0.04834,
              0.05581
            ],
            [
              0.01831,
              0.03063,
              0.0337,
              0.03755,
              0.04231,
              0.04831,
              0.05576
            ],
            [
              0.01832,
              0.03059,
              0.03366,
              0.03749,
              0.0423,
              0.04825,
              0.05573
            ],
            [
              0.01833,
              0.03056,
              0.03363,
              0.03745,
              0.04226,
              0.04821,
              0.05571
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.00432,
              -0.00801,
              -0.0111,
              -0.01495,
              -0.01977,
              -0.0258,
              -0.03333
            ],
            [
              0.00434,
              -0.00798,
              -0.01107,
              -0.01493,
              -0.01975,
              -0.02578,
              -0.03331
            ],
            [
              0.00436,
              -0.00797,
              -0.01106,
              -0.01491,
              -0.01973,
              -0.02576,
              -0.03329
            ],
            [
              0.0044,
              -0.00793,
              -0.01103,
              -0.01488,
              -0.0197,
              -0.02573,
              -0.03326
            ],
            [
              0.00443,
              -0.00791,
              -0.011,
              -0.01485,
              -0.01967,
              -0.0257,
              -0.03323
            ],
            [
              0.00449,
              -0.00788,
              -0.01097,
              -0.01482,
              -0.01964,
              -0.02568,
              -0.03321
            ],
            [
              0.00455,
              -0.00784,
              -0.01093,
              -0.01479,
              -0.01961,
              -0.02565,
              -0.03318
            ],
            [
              0.00462,
              -0.0078,
              -0.01089,
              -0.01475,
              -0.01958,
              -0.02562,
              -0.03315
            ],
            [
              0.0047,
              -0.00775,
              -0.01085,
              -0.01472,
              -0.01954,
              -0.02559,
              -0.03312
            ],
            [
              0.00477,
              -0.0077,
              -0.0108,
              -0.01467,
              -0.0195,
              -0.02554,
              -0.03309
            ],
            [
              0.00483,
              -0.00764,
              -0.01075,
              -0.01462,
              -0.01946,
              -0.02551,
              -0.03305
            ],
            [
              0.00486,
              -0.0076,
              -0.0107,
              -0.01458,
              -0.01942,
              -0.02547,
              -0.03301
            ],
            [
              0.00481,
              -0.00759,
              -0.0107,
              -0.01456,
              -0.0194,
              -0.02545,
              -0.033
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.02017,
              0.03241,
              0.03546,
              0.03926,
              0.04402,
              0.04997,
              0.05742
            ],
            [
              0.02015,
              0.03238,
              0.03543,
              0.03924,
              0.04399,
              0.04994,
              0.05739
            ],
            [
              0.02012,
              0.03237,
              0.03542,
              0.03921,
              0.04398,
              0.04992,
              0.05736
            ],
            [
              0.0201,
              0.03235,
              0.03541,
              0.03921,
              0.04397,
              0.0499,
              0.05732
            ],
            [
              0.02008,
              0.03233,
              0.03539,
              0.03918,
              0.04395,
              0.0499,
              0.05737
            ],
            [
              0.02005,
              0.03231,
              0.03536,
              0.03917,
              0.04392,
              0.04989,
              0.05731
            ],
            [
              0.02002,
              0.03228,
              0.03534,
              0.03917,
              0.0439,
              0.04986,
              0.05732
            ],
            [
              0.01998,
              0.03227,
              0.03533,
              0.03913,
              0.04389,
              0.04986,
              0.05733
            ],
            [
              0.01995,
              0.03225,
              0.03531,
              0.03913,
              0.04388,
              0.04986,
              0.05734
            ],
            [
              0.01994,
              0.03224,
              0.03529,
              0.03912,
              0.04389,
              0.04984,
              0.0573
            ],
            [
              0.01994,
              0.03222,
              0.03528,
              0.0391,
              0.04385,
              0.04983,
              0.05729
            ],
            [
              0.01997,
              0.03221,
              0.03527,
              0.03909,
              0.04384,
              0.04984,
              0.05728
            ],
            [
              0.01998,
              0.03219,
              0.03525,
              0.03904,
              0.04384,
              0.04981,
              0.05729
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.00167,
              -0.01086,
              -0.01396,
              -0.01781,
              -0.02263,
              -0.02866,
              -0.03618
            ],
            [
              0.00172,
              -0.01083,
              -0.01393,
              -0.01779,
              -0.02262,
              -0.02865,
              -0.03618
            ],
            [
              0.00177,
              -0.01084,
              -0.01394,
              -0.01781,
              -0.02263,
              -0.02867,
              -0.0362
            ],
            [
              0.00185,
              -0.01083,
              -0.01393,
              -0.0178,
              -0.02262,
              -0.02866,
              -0.03619
            ],
            [
              0.00192,
              -0.01081,
              -0.01391,
              -0.01778,
              -0.02262,
              -0.02866,
              -0.03619
            ],
            [
              0.00201,
              -0.01077,
              -0.01389,
              -0.01776,
              -0.0226,
              -0.02864,
              -0.03618
            ],
            [
              0.0021,
              -0.01073,
              -0.01385,
              -0.01773,
              -0.02257,
              -0.02862,
              -0.03617
            ],
            [
              0.00217,
              -0.01067,
              -0.0138,
              -0.01768,
              -0.02254,
              -0.02859,
              -0.03614
            ],
            [
              0.00221,
              -0.01059,
              -0.01373,
              -0.01762,
              -0.02248,
              -0.02855,
              -0.03611
            ],
            [
              0.00221,
              -0.01051,
              -0.01365,
              -0.01755,
              -0.02242,
              -0.02849,
              -0.03606
            ],
            [
              0.00214,
              -0.01045,
              -0.01358,
              -0.01748,
              -0.02235,
              -0.02843,
              -0.036
            ],
            [
              0.002,
              -0.01041,
              -0.01354,
              -0.01744,
              -0.0223,
              -0.02838,
              -0.03595
            ],
            [
              0.0017,
              -0.01047,
              -0.01358,
              -0.01745,
              -0.0223,
              -0.02837,
              -0.03593
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0086,
              0.02101,
              0.02407,
              0.02789,
              0.03266,
              0.03862,
              0.04607
            ],
            [
              0.00855,
              0.021,
              0.02408,
              0.0279,
              0.03266,
              0.03863,
              0.04609
            ],
            [
              0.00849,
              0.02101,
              0.02406,
              0.02789,
              0.03267,
              0.03863,
              0.04608
            ],
            [
              0.00843,
              0.02099,
              0.02406,
              0.02789,
              0.03267,
              0.03864,
              0.04611
            ],
            [
              0.00834,
              0.02096,
              0.02403,
              0.02786,
              0.03264,
              0.03863,
              0.04607
            ],
            [
              0.00827,
              0.0209,
              0.02399,
              0.02782,
              0.03261,
              0.03858,
              0.04604
            ],
            [
              0.00821,
              0.02085,
              0.02392,
              0.02777,
              0.03256,
              0.03856,
              0.04602
            ],
            [
              0.00816,
              0.02076,
              0.02385,
              0.0277,
              0.03251,
              0.03849,
              0.04597
            ],
            [
              0.00816,
              0.02067,
              0.02377,
              0.02763,
              0.03243,
              0.03843,
              0.04591
            ],
            [
              0.0082,
              0.02058,
              0.02369,
              0.02754,
              0.03234,
              0.03836,
              0.04583
            ],
            [
              0.00828,
              0.02053,
              0.02363,
              0.02747,
              0.03225,
              0.03826,
              0.04573
            ],
            [
              0.00845,
              0.02054,
              0.02362,
              0.02744,
              0.03222,
              0.03821,
              0.04569
            ],
            [
              0.0087,
              0.02069,
              0.02371,
              0.02749,
              0.03225,
              0.03822,
              0.04569
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.00158,
              -0.0109,
              -0.014,
              -0.01785,
              -0.02268,
              -0.02871,
              -0.03624
            ],
            [
              0.00166,
              -0.0109,
              -0.01399,
              -0.01785,
              -0.02268,
              -0.02871,
              -0.03624
            ],
            [
              0.00171,
              -0.01088,
              -0.01398,
              -0.01784,
              -0.02267,
              -0.0287,
              -0.03624
            ],
            [
              0.00178,
              -0.01089,
              -0.01399,
              -0.01785,
              -0.02268,
              -0.02872,
              -0.03625
            ],
            [
              0.00186,
              -0.01087,
              -0.01398,
              -0.01784,
              -0.02268,
              -0.02872,
              -0.03625
            ],
            [
              0.00196,
              -0.01084,
              -0.01395,
              -0.01782,
              -0.02266,
              -0.02871,
              -0.03625
            ],
            [
              0.00206,
              -0.01079,
              -0.01391,
              -0.01779,
              -0.02263,
              -0.02868,
              -0.03623
            ],
            [
              0.00215,
              -0.01072,
              -0.01385,
              -0.01774,
              -0.02259,
              -0.02865,
              -0.0362
            ],
            [
              0.00221,
              -0.01063,
              -0.01377,
              -0.01767,
              -0.02253,
              -0.0286,
              -0.03616
            ],
            [
              0.00225,
              -0.01054,
              -0.01368,
              -0.01759,
              -0.02246,
              -0.02853,
              -0.0361
            ],
            [
              0.00225,
              -0.01044,
              -0.01359,
              -0.0175,
              -0.02237,
              -0.02845,
              -0.03603
            ],
            [
              0.00216,
              -0.01038,
              -0.01352,
              -0.01742,
              -0.0223,
              -0.02838,
              -0.03596
            ],
            [
              0.00196,
              -0.0104,
              -0.01352,
              -0.0174,
              -0.02226,
              -0.02834,
              -0.03591
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.01007,
              0.02237,
              0.02542,
              0.02924,
              0.03399,
              0.03995,
              0.04741
            ],
            [
              0.01004,
              0.02236,
              0.02541,
              0.02924,
              0.03399,
              0.03995,
              0.04741
            ],
            [
              0.00998,
              0.02233,
              0.0254,
              0.02921,
              0.03397,
              0.03993,
              0.04737
            ],
            [
              0.00993,
              0.02231,
              0.02538,
              0.0292,
              0.03396,
              0.0399,
              0.04737
            ],
            [
              0.00988,
              0.02228,
              0.02536,
              0.02918,
              0.03395,
              0.03989,
              0.04735
            ],
            [
              0.00981,
              0.02225,
              0.02532,
              0.02915,
              0.03393,
              0.03988,
              0.04733
            ],
            [
              0.00976,
              0.0222,
              0.02527,
              0.02912,
              0.03388,
              0.03984,
              0.0473
            ],
            [
              0.00971,
              0.02215,
              0.02523,
              0.02904,
              0.03383,
              0.03981,
              0.04726
            ],
            [
              0.00969,
              0.0221,
              0.02518,
              0.02901,
              0.03377,
              0.03977,
              0.04724
            ],
            [
              0.00974,
              0.02206,
              0.02513,
              0.02897,
              0.03376,
              0.03973,
              0.04719
            ],
            [
              0.00983,
              0.02203,
              0.0251,
              0.02892,
              0.03371,
              0.03967,
              0.04715
            ],
            [
              0.00999,
              0.02207,
              0.02513,
              0.02895,
              0.03369,
              0.03966,
              0.04709
            ],
            [
              0.01029,
              0.02226,
              0.02527,
              0.02903,
              0.03378,
              0.03973,
              0.04712
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.02767,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14522,
              0.39435,
              0.45447,
              0.5293,
              0.62236,
              0.73855,
              0.88326
            ],
            [
              0.14741,
              0.39661,
              0.45682,
              0.53149,
              0.6246,
              0.7408,
              0.88552
            ],
            [
              0.15013,
              0.39948,
              0.4597,
              0.53432,
              0.62742,
              0.74369,
              0.88841
            ],
            [
              0.1544,
              0.40394,
              0.46413,
              0.5388,
              0.63191,
              0.74813,
              0.89292
            ],
            [
              0.16092,
              0.41072,
              0.4709,
              0.54567,
              0.63879,
              0.75505,
              0.89984
            ],
            [
              0.17092,
              0.42108,
              0.48141,
              0.55614,
              0.64931,
              0.76562,
              0.91037
            ],
            [
              0.18614,
              0.4369,
              0.49727,
              0.57205,
              0.66532,
              0.78165,
              0.92643
            ],
            [
              0.20947,
              0.46087,
              0.52124,
              0.59612,
              0.68945,
              0.80582,
              0.95066
            ],
            [
              0.24619,
              0.49694,
              0.55746,
              0.63254,
              0.72586,
              0.84235,
              0.98725
            ],
            [
              0.29805,
              0.55157,
              0.61196,
              0.68739,
              0.78039,
              0.89699,
              1.04209
            ],
            [
              0.36007,
              0.63512,
              0.69552,
              0.77042,
              0.86382,
              0.98022,
              1.12522
            ],
            [
              0.43357,
              0.75977,
              0.82197,
              0.89647,
              0.98947,
              1.10557,
              1.25047
            ],
            [
              0.5194,
              0.9153,
              0.9905,
              1.0774,
              1.1779,
              1.2951,
              1.4393
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.12737,
              0.38096,
              0.44432,
              0.52208,
              0.62012,
              0.74269,
              0.89573
            ],
            [
              0.1303,
              0.38502,
              0.44754,
              0.52601,
              0.62414,
              0.74661,
              0.89932
            ],
            [
              0.13371,
              0.38925,
              0.4519,
              0.53058,
              0.6288,
              0.75148,
              0.90375
            ],
            [
              0.13903,
              0.39554,
              0.45826,
              0.53719,
              0.63457,
              0.75716,
              0.91014
            ],
            [
              0.14722,
              0.40431,
              0.46715,
              0.54574,
              0.64398,
              0.76654,
              0.91945
            ],
            [
              0.15993,
              0.41808,
              0.48084,
              0.55964,
              0.65785,
              0.78046,
              0.93362
            ],
            [
              0.17929,
              0.43775,
              0.50125,
              0.57946,
              0.67772,
              0.80105,
              0.95393
            ],
            [
              0.20784,
              0.46649,
              0.52966,
              0.60848,
              0.7067,
              0.83043,
              0.98326
            ],
            [
              0.24771,
              0.50773,
              0.57143,
              0.6502,
              0.74841,
              0.87225,
              1.02525
            ],
            [
              0.29587,
              0.56801,
              0.63139,
              0.71059,
              0.80929,
              0.93209,
              1.08589
            ],
            [
              0.3531,
              0.65712,
              0.72082,
              0.79972,
              0.89872,
              1.02202,
              1.17562
            ],
            [
              0.41867,
              0.78657,
              0.85357,
              0.93307,
              1.03197,
              1.15547,
              1.30947
            ],
            [
              0.4893,
              0.9514,
              1.0317,
              1.1241,
              1.2308,
              1.3557,
              1.5095
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.12688,
              0.44795,
              0.52759,
              0.62638,
              0.75027,
              0.90494,
              1.09767
            ],
            [
              0.12689,
              0.4479,
              0.52709,
              0.62613,
              0.74999,
              0.90498,
              1.09777
            ],
            [
              0.12691,
              0.44787,
              0.52708,
              0.62654,
              0.7503,
              0.90458,
              1.09787
            ],
            [
              0.12696,
              0.44787,
              0.52726,
              0.62659,
              0.75035,
              0.90473,
              1.0971
            ],
            [
              0.12698,
              0.44769,
              0.52752,
              0.6263,
              0.7503,
              0.90476,
              1.09736
            ],
            [
              0.12713,
              0.44787,
              0.52748,
              0.62654,
              0.74997,
              0.9044,
              1.09752
            ],
            [
              0.12693,
              0.4478,
              0.52746,
              0.6266,
              0.74962,
              0.9042,
              1.09716
            ],
            [
              0.12633,
              0.44773,
              0.52748,
              0.62645,
              0.75012,
              0.90416,
              1.09757
            ],
            [
              0.13454,
              0.4479,
              0.52748,
              0.6263,
              0.75027,
              0.90483,
              1.09765
            ],
            [
              0.15602,
              0.44896,
              0.52732,
              0.6264,
              0.75015,
              0.90504,
              1.09762
            ],
            [
              0.18674,
              0.46646,
              0.53928,
              0.6324,
              0.7512,
              0.9042,
              1.098
            ],
            [
              0.2302,
              0.5169,
              0.5824,
              0.6669,
              0.7772,
              0.9194,
              1.1029
            ],
            [
              0.2887,
              0.6132,
              0.6756,
              0.7517,
              0.8507,
              0.9793,
              1.1474
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.08898,
              0.43078,
              0.51659,
              0.62275,
              0.75575,
              0.92228,
              1.13012
            ],
            [
              0.0891,
              0.43083,
              0.51632,
              0.62256,
              0.75526,
              0.92217,
              1.12947
            ],
            [
              0.08874,
              0.43078,
              0.51635,
              0.62237,
              0.75582,
              0.92196,
              1.12953
            ],
            [
              0.08882,
              0.43114,
              0.5164,
              0.62303,
              0.75486,
              0.92162,
              1.12937
            ],
            [
              0.08915,
              0.43084,
              0.5163,
              0.62275,
              0.75544,
              0.92222,
              1.12932
            ],
            [
              0.08928,
              0.43105,
              0.51633,
              0.62228,
              0.75517,
              0.9223,
              1.13007
            ],
            [
              0.08953,
              0.43067,
              0.51639,
              0.62206,
              0.75485,
              0.92141,
              1.13002
            ],
            [
              0.09083,
              0.43066,
              0.51622,
              0.62274,
              0.75527,
              0.92197,
              1.13014
            ],
            [
              0.09844,
              0.43099,
              0.51623,
              0.62278,
              0.75516,
              0.92177,
              1.12996
            ],
            [
              0.12008,
              0.43144,
              0.51654,
              0.62226,
              0.75589,
              0.92134,
              1.12959
            ],
            [
              0.15274,
              0.4433,
              0.5236,
              0.6257,
              0.7554,
              0.9224,
              1.1294
            ],
            [
              0.1999,
              0.4839,
              0.5561,
              0.6498,
              0.7723,
              0.929,
              1.1303
            ],
            [
              0.2677,
              0.5716,
              0.6348,
              0.7179,
              0.8281,
              0.9727,
              1.1605
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11269,
              0.36569,
              0.42611,
              0.50104,
              0.59432,
              0.7107,
              0.85556
            ],
            [
              0.11478,
              0.36782,
              0.42827,
              0.5032,
              0.59645,
              0.71284,
              0.8577
            ],
            [
              0.11741,
              0.37056,
              0.43103,
              0.50591,
              0.59921,
              0.71561,
              0.86051
            ],
            [
              0.12155,
              0.37487,
              0.4353,
              0.51028,
              0.60359,
              0.71996,
              0.86484
            ],
            [
              0.1279,
              0.38157,
              0.44203,
              0.51698,
              0.61031,
              0.7267,
              0.87153
            ],
            [
              0.13774,
              0.39179,
              0.45228,
              0.52729,
              0.62061,
              0.7371,
              0.88201
            ],
            [
              0.1529,
              0.40748,
              0.46801,
              0.54304,
              0.63641,
              0.753,
              0.89793
            ],
            [
              0.17688,
              0.43125,
              0.4919,
              0.567,
              0.66042,
              0.77708,
              0.92206
            ],
            [
              0.21433,
              0.46757,
              0.52819,
              0.60334,
              0.69677,
              0.81325,
              0.95865
            ],
            [
              0.25991,
              0.52238,
              0.58301,
              0.65809,
              0.75159,
              0.86819,
              1.01319
            ],
            [
              0.31412,
              0.60602,
              0.66632,
              0.74132,
              0.83472,
              0.95112,
              1.09602
            ],
            [
              0.37747,
              0.72817,
              0.79267,
              0.86787,
              0.96097,
              1.07727,
              1.22167
            ],
            [
              0.4509,
              0.8776,
              0.9555,
              1.0451,
              1.1481,
              1.2669,
              1.4111
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14374,
              0.47544,
              0.55777,
              0.66078,
              0.78854,
              0.9492,
              1.14867
            ],
            [
              0.14655,
              0.47916,
              0.56162,
              0.66467,
              0.79272,
              0.95249,
              1.15374
            ],
            [
              0.14979,
              0.48343,
              0.56573,
              0.66899,
              0.79709,
              0.95713,
              1.15802
            ],
            [
              0.15482,
              0.48944,
              0.57166,
              0.67421,
              0.80363,
              0.96327,
              1.16418
            ],
            [
              0.16265,
              0.49829,
              0.58091,
              0.68439,
              0.81305,
              0.97231,
              1.17381
            ],
            [
              0.17498,
              0.51192,
              0.59474,
              0.69815,
              0.82614,
              0.98632,
              1.18712
            ],
            [
              0.19391,
              0.53132,
              0.61414,
              0.71782,
              0.8455,
              1.00733,
              1.20733
            ],
            [
              0.22161,
              0.5594,
              0.64191,
              0.74594,
              0.87436,
              1.03486,
              1.23656
            ],
            [
              0.26003,
              0.59819,
              0.68139,
              0.78455,
              0.91405,
              1.07525,
              1.27515
            ],
            [
              0.30666,
              0.65349,
              0.73669,
              0.84029,
              0.96889,
              1.13009,
              1.33249
            ],
            [
              0.36193,
              0.73362,
              0.81692,
              0.92032,
              1.04972,
              1.21092,
              1.41342
            ],
            [
              0.42627,
              0.85117,
              0.93477,
              1.03847,
              1.16767,
              1.32957,
              1.53027
            ],
            [
              0.4965,
              1.0066,
              1.1017,
              1.2131,
              1.3442,
              1.5058,
              1.7071
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11214,
              0.42929,
              0.50852,
              0.60763,
              0.73085,
              0.88547,
              1.07831
            ],
            [
              0.11216,
              0.42941,
              0.50894,
              0.60719,
              0.73076,
              0.8854,
              1.07805
            ],
            [
              0.11222,
              0.42943,
              0.50895,
              0.60718,
              0.73094,
              0.88543,
              1.07835
            ],
            [
              0.11228,
              0.42982,
              0.50901,
              0.6073,
              0.73112,
              0.88541,
              1.07812
            ],
            [
              0.11221,
              0.42931,
              0.50852,
              0.60704,
              0.73056,
              0.88478,
              1.078
            ],
            [
              0.11156,
              0.42977,
              0.50888,
              0.60704,
              0.73104,
              0.88535,
              1.07838
            ],
            [
              0.10927,
              0.42969,
              0.5088,
              0.6071,
              0.73117,
              0.88564,
              1.07843
            ],
            [
              0.11162,
              0.42966,
              0.50856,
              0.60748,
              0.7309,
              0.88508,
              1.0778
            ],
            [
              0.12347,
              0.4293,
              0.50876,
              0.60752,
              0.73104,
              0.88531,
              1.07782
            ],
            [
              0.14479,
              0.43152,
              0.5088,
              0.60714,
              0.73034,
              0.88552,
              1.07721
            ],
            [
              0.17489,
              0.45231,
              0.52353,
              0.6152,
              0.7334,
              0.8851,
              1.0777
            ],
            [
              0.2169,
              0.5068,
              0.5701,
              0.653,
              0.7615,
              0.903,
              1.0847
            ],
            [
              0.2727,
              0.6041,
              0.6667,
              0.742,
              0.8391,
              0.9659,
              1.1327
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.09323,
              0.5443,
              0.65744,
              0.79827,
              0.97432,
              1.19303,
              1.46881
            ],
            [
              0.09318,
              0.54462,
              0.65763,
              0.79828,
              0.97288,
              1.19428,
              1.46866
            ],
            [
              0.09338,
              0.54463,
              0.65764,
              0.79809,
              0.97287,
              1.19385,
              1.46899
            ],
            [
              0.09341,
              0.54439,
              0.6573,
              0.7981,
              0.97419,
              1.19399,
              1.46897
            ],
            [
              0.09357,
              0.5445,
              0.65756,
              0.79785,
              0.97376,
              1.19306,
              1.46761
            ],
            [
              0.09367,
              0.54462,
              0.65766,
              0.79822,
              0.97357,
              1.19425,
              1.46914
            ],
            [
              0.09385,
              0.54433,
              0.65763,
              0.79827,
              0.9743,
              1.19357,
              1.46821
            ],
            [
              0.09511,
              0.54438,
              0.65721,
              0.79826,
              0.97352,
              1.19436,
              1.4685
            ],
            [
              0.10155,
              0.54423,
              0.65743,
              0.79761,
              0.9743,
              1.19283,
              1.46894
            ],
            [
              0.11927,
              0.54465,
              0.65682,
              0.79746,
              0.97362,
              1.19375,
              1.4671
            ],
            [
              0.14459,
              0.5517,
              0.6597,
              0.7977,
              0.9722,
              1.1932,
              1.4687
            ],
            [
              0.1817,
              0.5811,
              0.6834,
              0.8132,
              0.9813,
              1.1939,
              1.4683
            ],
            [
              0.2362,
              0.6503,
              0.7443,
              0.8648,
              1.0207,
              1.2232,
              1.4826
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11588,
              0.3683,
              0.42871,
              0.50365,
              0.59695,
              0.71334,
              0.85826
            ],
            [
              0.11796,
              0.37043,
              0.43082,
              0.50578,
              0.59906,
              0.71546,
              0.86038
            ],
            [
              0.12058,
              0.37316,
              0.43359,
              0.5085,
              0.60182,
              0.71822,
              0.86313
            ],
            [
              0.12463,
              0.37746,
              0.43791,
              0.51282,
              0.60623,
              0.72259,
              0.86752
            ],
            [
              0.13106,
              0.38415,
              0.4446,
              0.51959,
              0.61287,
              0.72936,
              0.87429
            ],
            [
              0.14093,
              0.39442,
              0.45489,
              0.5299,
              0.6232,
              0.7397,
              0.88466
            ],
            [
              0.1561,
              0.4101,
              0.47063,
              0.54566,
              0.63907,
              0.75554,
              0.90063
            ],
            [
              0.17989,
              0.43392,
              0.49447,
              0.56959,
              0.66305,
              0.77959,
              0.92476
            ],
            [
              0.21749,
              0.4702,
              0.53083,
              0.60597,
              0.69945,
              0.81595,
              0.96095
            ],
            [
              0.26375,
              0.52497,
              0.58562,
              0.66069,
              0.75419,
              0.87079,
              1.01589
            ],
            [
              0.31882,
              0.60862,
              0.66902,
              0.74402,
              0.83732,
              0.95382,
              1.09872
            ],
            [
              0.38327,
              0.73117,
              0.79547,
              0.87047,
              0.96357,
              1.07997,
              1.22487
            ],
            [
              0.4582,
              0.8812,
              0.9589,
              1.0483,
              1.1511,
              1.2696,
              1.4139
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.17243,
              0.49796,
              0.57856,
              0.67895,
              0.80449,
              0.96126,
              1.15697
            ],
            [
              0.17569,
              0.50187,
              0.58251,
              0.68292,
              0.80829,
              0.9652,
              1.16124
            ],
            [
              0.17938,
              0.50619,
              0.58688,
              0.68731,
              0.81272,
              0.96972,
              1.16562
            ],
            [
              0.18482,
              0.5124,
              0.59311,
              0.69359,
              0.81927,
              0.97618,
              1.17207
            ],
            [
              0.19302,
              0.52141,
              0.60223,
              0.7028,
              0.82834,
              0.98541,
              1.18141
            ],
            [
              0.20553,
              0.53485,
              0.61578,
              0.71648,
              0.84224,
              0.99922,
              1.19522
            ],
            [
              0.22429,
              0.55448,
              0.63551,
              0.73631,
              0.86203,
              1.01943,
              1.21543
            ],
            [
              0.25173,
              0.58239,
              0.6635,
              0.76451,
              0.89036,
              1.04766,
              1.24396
            ],
            [
              0.2907,
              0.62146,
              0.70279,
              0.80385,
              0.93005,
              1.08745,
              1.28375
            ],
            [
              0.34272,
              0.67689,
              0.75829,
              0.85949,
              0.98589,
              1.14359,
              1.34009
            ],
            [
              0.40491,
              0.75742,
              0.83882,
              0.94002,
              1.06652,
              1.22432,
              1.42112
            ],
            [
              0.47957,
              0.87597,
              0.95757,
              1.05887,
              1.18537,
              1.34337,
              1.54027
            ],
            [
              0.5654,
              1.0365,
              1.128,
              1.2355,
              1.363,
              1.5211,
              1.7183
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14339,
              0.4571,
              0.53604,
              0.63442,
              0.7576,
              0.9124,
              1.1051
            ],
            [
              0.14345,
              0.45678,
              0.53559,
              0.63444,
              0.75735,
              0.91275,
              1.10525
            ],
            [
              0.1435,
              0.45664,
              0.53587,
              0.63404,
              0.75757,
              0.91179,
              1.10515
            ],
            [
              0.14358,
              0.45704,
              0.53567,
              0.6342,
              0.75775,
              0.91208,
              1.10504
            ],
            [
              0.1436,
              0.45714,
              0.53603,
              0.63403,
              0.75738,
              0.91158,
              1.10523
            ],
            [
              0.14312,
              0.4567,
              0.53594,
              0.63445,
              0.75765,
              0.91211,
              1.10528
            ],
            [
              0.14084,
              0.45695,
              0.53577,
              0.63423,
              0.75716,
              0.91257,
              1.10478
            ],
            [
              0.14311,
              0.45687,
              0.53595,
              0.63442,
              0.75759,
              0.91145,
              1.10484
            ],
            [
              0.15483,
              0.45706,
              0.53566,
              0.63445,
              0.7573,
              0.91147,
              1.10488
            ],
            [
              0.17981,
              0.45924,
              0.53617,
              0.63432,
              0.75768,
              0.91221,
              1.10542
            ],
            [
              0.21497,
              0.47963,
              0.55097,
              0.6425,
              0.7602,
              0.9125,
              1.1052
            ],
            [
              0.2644,
              0.534,
              0.598,
              0.6804,
              0.7888,
              0.93,
              1.112
            ],
            [
              0.3309,
              0.634,
              0.6946,
              0.7693,
              0.8656,
              0.9923,
              1.1601
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11461,
              0.55998,
              0.6707,
              0.80884,
              0.9818,
              1.19831,
              1.46745
            ],
            [
              0.11458,
              0.55979,
              0.67015,
              0.80875,
              0.98201,
              1.19738,
              1.46881
            ],
            [
              0.11463,
              0.55992,
              0.67004,
              0.80906,
              0.98196,
              1.19817,
              1.46679
            ],
            [
              0.11466,
              0.55952,
              0.67085,
              0.80932,
              0.98176,
              1.19828,
              1.4674
            ],
            [
              0.11451,
              0.55986,
              0.67009,
              0.80896,
              0.98096,
              1.19829,
              1.46827
            ],
            [
              0.11464,
              0.55983,
              0.67031,
              0.80832,
              0.98097,
              1.19839,
              1.46681
            ],
            [
              0.11489,
              0.55959,
              0.66998,
              0.80839,
              0.98146,
              1.19845,
              1.46819
            ],
            [
              0.11528,
              0.55954,
              0.67103,
              0.80893,
              0.98212,
              1.19774,
              1.46792
            ],
            [
              0.11859,
              0.55997,
              0.67058,
              0.80898,
              0.98194,
              1.19814,
              1.46783
            ],
            [
              0.13284,
              0.56007,
              0.67054,
              0.80909,
              0.98127,
              1.19837,
              1.4668
            ],
            [
              0.15963,
              0.5646,
              0.673,
              0.8096,
              0.9816,
              1.1984,
              1.4685
            ],
            [
              0.1974,
              0.5925,
              0.6937,
              0.8236,
              0.9889,
              1.2001,
              1.468
            ],
            [
              0.2529,
              0.6578,
              0.7514,
              0.8723,
              1.0278,
              1.2276,
              1.4818
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.16454,
              0.41358,
              0.47386,
              0.54861,
              0.64174,
              0.75792,
              0.90261
            ],
            [
              0.16703,
              0.41617,
              0.47639,
              0.55102,
              0.64419,
              0.76038,
              0.90511
            ],
            [
              0.17013,
              0.41936,
              0.47949,
              0.55419,
              0.64734,
              0.76356,
              0.90829
            ],
            [
              0.17488,
              0.42413,
              0.48438,
              0.55912,
              0.65228,
              0.76845,
              0.91317
            ],
            [
              0.18168,
              0.43117,
              0.49137,
              0.56617,
              0.65935,
              0.77551,
              0.92025
            ],
            [
              0.1914,
              0.44129,
              0.50159,
              0.57635,
              0.66947,
              0.78567,
              0.93042
            ],
            [
              0.20561,
              0.45599,
              0.51624,
              0.5911,
              0.68436,
              0.80067,
              0.94543
            ],
            [
              0.22692,
              0.47793,
              0.53827,
              0.61327,
              0.70651,
              0.82286,
              0.96776
            ],
            [
              0.25952,
              0.51086,
              0.57123,
              0.64628,
              0.73962,
              0.85615,
              1.00105
            ],
            [
              0.30438,
              0.56017,
              0.62084,
              0.69589,
              0.78939,
              0.90589,
              1.05099
            ],
            [
              0.36293,
              0.63432,
              0.69512,
              0.77032,
              0.86402,
              0.98072,
              1.12592
            ],
            [
              0.43667,
              0.74227,
              0.80587,
              0.88207,
              0.97597,
              1.09287,
              1.23827
            ],
            [
              0.5251,
              0.8837,
              0.9551,
              1.0397,
              1.1405,
              1.2609,
              1.4068
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.1518,
              0.40758,
              0.47095,
              0.54983,
              0.64857,
              0.77182,
              0.92575
            ],
            [
              0.15492,
              0.41095,
              0.4743,
              0.55323,
              0.65195,
              0.77523,
              0.92909
            ],
            [
              0.15858,
              0.41492,
              0.4783,
              0.5573,
              0.65587,
              0.77918,
              0.9332
            ],
            [
              0.16409,
              0.4209,
              0.48435,
              0.56324,
              0.66202,
              0.7855,
              0.9393
            ],
            [
              0.17249,
              0.42991,
              0.49333,
              0.5724,
              0.67111,
              0.79442,
              0.94846
            ],
            [
              0.18535,
              0.44334,
              0.50688,
              0.58596,
              0.68476,
              0.80814,
              0.96212
            ],
            [
              0.20463,
              0.46331,
              0.52686,
              0.60597,
              0.7049,
              0.82826,
              0.98233
            ],
            [
              0.23308,
              0.49207,
              0.55573,
              0.63501,
              0.73392,
              0.85746,
              1.01146
            ],
            [
              0.27391,
              0.53322,
              0.59696,
              0.67625,
              0.77525,
              0.89905,
              1.05305
            ],
            [
              0.32737,
              0.59291,
              0.65679,
              0.73619,
              0.83519,
              0.95899,
              1.11329
            ],
            [
              0.39199,
              0.68112,
              0.74502,
              0.82442,
              0.92362,
              1.04742,
              1.20202
            ],
            [
              0.46807,
              0.81057,
              0.87627,
              0.95587,
              1.05517,
              1.17917,
              1.33367
            ],
            [
              0.5542,
              0.9777,
              1.0557,
              1.1463,
              1.2517,
              1.3764,
              1.5312
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.12696,
              0.44786,
              0.52726,
              0.62626,
              0.75027,
              0.90455,
              1.09711
            ],
            [
              0.12696,
              0.44795,
              0.52704,
              0.62637,
              0.75033,
              0.90488,
              1.09716
            ],
            [
              0.1269,
              0.44791,
              0.52742,
              0.62661,
              0.75033,
              0.90498,
              1.09756
            ],
            [
              0.12694,
              0.44802,
              0.52739,
              0.62645,
              0.7502,
              0.90495,
              1.09756
            ],
            [
              0.12689,
              0.448,
              0.5275,
              0.62603,
              0.74994,
              0.90442,
              1.09712
            ],
            [
              0.12696,
              0.44774,
              0.52704,
              0.62614,
              0.74961,
              0.90465,
              1.09714
            ],
            [
              0.1268,
              0.44795,
              0.52751,
              0.62648,
              0.74963,
              0.90463,
              1.09718
            ],
            [
              0.12719,
              0.44797,
              0.5275,
              0.62593,
              0.75008,
              0.90501,
              1.09697
            ],
            [
              0.13257,
              0.44774,
              0.5275,
              0.62616,
              0.75013,
              0.9045,
              1.09788
            ],
            [
              0.14699,
              0.44968,
              0.52749,
              0.62635,
              0.7501,
              0.90464,
              1.09774
            ],
            [
              0.1702,
              0.46176,
              0.5369,
              0.632,
              0.7523,
              0.9047,
              1.098
            ],
            [
              0.2061,
              0.4949,
              0.5643,
              0.6547,
              0.7697,
              0.917,
              1.1037
            ],
            [
              0.2582,
              0.5627,
              0.6291,
              0.7116,
              0.8187,
              0.9558,
              1.1337
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.10872,
              0.45447,
              0.54034,
              0.64819,
              0.78226,
              0.95021,
              1.15888
            ],
            [
              0.10893,
              0.45441,
              0.54032,
              0.6482,
              0.78214,
              0.95028,
              1.15939
            ],
            [
              0.10891,
              0.45412,
              0.5408,
              0.64765,
              0.78241,
              0.94945,
              1.15912
            ],
            [
              0.10898,
              0.45458,
              0.54063,
              0.64816,
              0.78252,
              0.94975,
              1.15881
            ],
            [
              0.10903,
              0.45434,
              0.54073,
              0.64816,
              0.78152,
              0.94952,
              1.15983
            ],
            [
              0.10906,
              0.45426,
              0.54077,
              0.64739,
              0.78233,
              0.94964,
              1.15953
            ],
            [
              0.10919,
              0.4541,
              0.54056,
              0.64823,
              0.78229,
              0.95029,
              1.15969
            ],
            [
              0.10951,
              0.45423,
              0.54042,
              0.64779,
              0.78229,
              0.95035,
              1.15828
            ],
            [
              0.11429,
              0.4542,
              0.54076,
              0.64769,
              0.78178,
              0.95002,
              1.15849
            ],
            [
              0.1312,
              0.45499,
              0.54058,
              0.64813,
              0.78239,
              0.94939,
              1.15972
            ],
            [
              0.16358,
              0.465,
              0.5464,
              0.6503,
              0.7818,
              0.9503,
              1.1592
            ],
            [
              0.21,
              0.5011,
              0.576,
              0.6723,
              0.7972,
              0.9563,
              1.161
            ],
            [
              0.2766,
              0.5842,
              0.6502,
              0.7368,
              0.8498,
              0.9966,
              1.1887
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.13198,
              0.38494,
              0.44541,
              0.5203,
              0.61363,
              0.73,
              0.87485
            ],
            [
              0.13436,
              0.38738,
              0.44776,
              0.5227,
              0.61605,
              0.73239,
              0.87725
            ],
            [
              0.13737,
              0.3904,
              0.45083,
              0.52577,
              0.6191,
              0.73545,
              0.8803
            ],
            [
              0.142,
              0.39509,
              0.45554,
              0.53048,
              0.62379,
              0.74018,
              0.88504
            ],
            [
              0.14866,
              0.40199,
              0.46243,
              0.53736,
              0.63068,
              0.74707,
              0.89197
            ],
            [
              0.15827,
              0.41192,
              0.47238,
              0.54732,
              0.64066,
              0.75708,
              0.90197
            ],
            [
              0.17247,
              0.4265,
              0.48702,
              0.56207,
              0.65545,
              0.77187,
              0.91683
            ],
            [
              0.1942,
              0.44842,
              0.50898,
              0.58409,
              0.67751,
              0.79401,
              0.93896
            ],
            [
              0.22594,
              0.48128,
              0.54196,
              0.61713,
              0.71064,
              0.82715,
              0.97225
            ],
            [
              0.26758,
              0.53074,
              0.59149,
              0.66679,
              0.76039,
              0.87709,
              1.02229
            ],
            [
              0.32124,
              0.60502,
              0.66592,
              0.74132,
              0.83512,
              0.95202,
              1.09732
            ],
            [
              0.38687,
              0.71087,
              0.77587,
              0.85317,
              0.94717,
              1.06427,
              1.20977
            ],
            [
              0.4639,
              0.8484,
              0.9216,
              1.0079,
              1.1103,
              1.2319,
              1.3783
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.17817,
              0.51675,
              0.6008,
              0.70551,
              0.83636,
              1.00027,
              1.20437
            ],
            [
              0.18118,
              0.52009,
              0.60417,
              0.7089,
              0.83982,
              1.00344,
              1.20804
            ],
            [
              0.1847,
              0.52408,
              0.60817,
              0.71294,
              0.84392,
              1.00772,
              1.21182
            ],
            [
              0.19002,
              0.53002,
              0.61415,
              0.71891,
              0.84976,
              1.01358,
              1.21788
            ],
            [
              0.19815,
              0.53894,
              0.62309,
              0.72789,
              0.85896,
              1.02281,
              1.22701
            ],
            [
              0.21067,
              0.55226,
              0.63651,
              0.74139,
              0.87236,
              1.03622,
              1.24072
            ],
            [
              0.22946,
              0.57187,
              0.6562,
              0.76124,
              0.89223,
              1.05613,
              1.26063
            ],
            [
              0.25686,
              0.59972,
              0.68413,
              0.78929,
              0.92056,
              1.08436,
              1.28896
            ],
            [
              0.29553,
              0.63847,
              0.72306,
              0.82825,
              0.95955,
              1.12385,
              1.32825
            ],
            [
              0.34694,
              0.69319,
              0.77779,
              0.88299,
              1.01459,
              1.17889,
              1.38369
            ],
            [
              0.40847,
              0.77182,
              0.85652,
              0.96182,
              1.09352,
              1.25782,
              1.46292
            ],
            [
              0.48147,
              0.88727,
              0.97207,
              1.07747,
              1.20917,
              1.37367,
              1.57887
            ],
            [
              0.5657,
              1.0439,
              1.138,
              1.2491,
              1.3815,
              1.5462,
              1.7516
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11161,
              0.42973,
              0.50874,
              0.60767,
              0.73091,
              0.88559,
              1.07823
            ],
            [
              0.11157,
              0.42955,
              0.50897,
              0.60756,
              0.73099,
              0.88505,
              1.07829
            ],
            [
              0.11161,
              0.42952,
              0.50897,
              0.60747,
              0.73101,
              0.88478,
              1.07772
            ],
            [
              0.11155,
              0.42979,
              0.50873,
              0.60757,
              0.73074,
              0.88511,
              1.07835
            ],
            [
              0.11139,
              0.42942,
              0.50847,
              0.60768,
              0.73081,
              0.88484,
              1.07847
            ],
            [
              0.11116,
              0.42936,
              0.50878,
              0.60768,
              0.73112,
              0.88556,
              1.07726
            ],
            [
              0.11052,
              0.42968,
              0.50899,
              0.60708,
              0.73088,
              0.88569,
              1.07836
            ],
            [
              0.11253,
              0.42956,
              0.50892,
              0.60717,
              0.73103,
              0.88558,
              1.07719
            ],
            [
              0.11973,
              0.42958,
              0.50874,
              0.607,
              0.73117,
              0.88526,
              1.07841
            ],
            [
              0.13514,
              0.4324,
              0.50997,
              0.60766,
              0.7308,
              0.88508,
              1.07812
            ],
            [
              0.15875,
              0.44594,
              0.51993,
              0.6146,
              0.7344,
              0.8863,
              1.0783
            ],
            [
              0.1948,
              0.4812,
              0.55,
              0.639,
              0.7536,
              0.899,
              1.0851
            ],
            [
              0.2458,
              0.551,
              0.6179,
              0.6992,
              0.805,
              0.9402,
              1.1162
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.12035,
              0.5834,
              0.69846,
              0.84226,
              1.02098,
              1.24651,
              1.52609
            ],
            [
              0.12039,
              0.58336,
              0.69836,
              0.84188,
              1.0212,
              1.24538,
              1.52674
            ],
            [
              0.12039,
              0.58291,
              0.69814,
              0.84159,
              1.02137,
              1.24685,
              1.52575
            ],
            [
              0.12044,
              0.58309,
              0.69855,
              0.842,
              1.02197,
              1.24661,
              1.52627
            ],
            [
              0.12046,
              0.58323,
              0.69877,
              0.84241,
              1.02209,
              1.24641,
              1.52659
            ],
            [
              0.12051,
              0.58253,
              0.69778,
              0.8419,
              1.02099,
              1.24643,
              1.52645
            ],
            [
              0.12061,
              0.58323,
              0.69867,
              0.84211,
              1.02146,
              1.24534,
              1.52659
            ],
            [
              0.12106,
              0.58291,
              0.69873,
              0.84208,
              1.02117,
              1.24606,
              1.52676
            ],
            [
              0.12423,
              0.58336,
              0.69846,
              0.84206,
              1.02086,
              1.24587,
              1.52698
            ],
            [
              0.13755,
              0.58344,
              0.69824,
              0.8422,
              1.02128,
              1.24671,
              1.5275
            ],
            [
              0.16325,
              0.5878,
              0.7003,
              0.8426,
              1.0215,
              1.2468,
              1.5273
            ],
            [
              0.1993,
              0.6142,
              0.7208,
              0.8559,
              1.0282,
              1.2482,
              1.5268
            ],
            [
              0.2525,
              0.6777,
              0.7764,
              0.9018,
              1.0656,
              1.2744,
              1.5408
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.13524,
              0.38765,
              0.44812,
              0.523,
              0.61632,
              0.73272,
              0.87762
            ],
            [
              0.13761,
              0.39006,
              0.45048,
              0.52541,
              0.61874,
              0.73513,
              0.88004
            ],
            [
              0.14064,
              0.39309,
              0.45352,
              0.52847,
              0.62179,
              0.7382,
              0.88309
            ],
            [
              0.14527,
              0.39781,
              0.45826,
              0.53321,
              0.6265,
              0.74292,
              0.88784
            ],
            [
              0.15193,
              0.40471,
              0.46513,
              0.54007,
              0.63341,
              0.74985,
              0.89478
            ],
            [
              0.16153,
              0.41464,
              0.4751,
              0.55007,
              0.64343,
              0.75988,
              0.90483
            ],
            [
              0.17572,
              0.42927,
              0.48978,
              0.5648,
              0.6582,
              0.77465,
              0.91963
            ],
            [
              0.19734,
              0.45118,
              0.51174,
              0.58682,
              0.68028,
              0.79682,
              0.94186
            ],
            [
              0.22925,
              0.48404,
              0.54472,
              0.61985,
              0.7134,
              0.83005,
              0.97505
            ],
            [
              0.27119,
              0.53347,
              0.59426,
              0.66949,
              0.76319,
              0.87989,
              1.02509
            ],
            [
              0.32536,
              0.60772,
              0.66862,
              0.74412,
              0.83792,
              0.95482,
              1.10012
            ],
            [
              0.39177,
              0.71387,
              0.77867,
              0.85587,
              0.94997,
              1.06707,
              1.21267
            ],
            [
              0.4701,
              0.8518,
              0.9249,
              1.011,
              1.1132,
              1.2348,
              1.3811
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.20322,
              0.52822,
              0.60865,
              0.70884,
              0.83394,
              0.99053,
              1.18577
            ],
            [
              0.20633,
              0.53158,
              0.61203,
              0.71222,
              0.83743,
              0.99384,
              1.18914
            ],
            [
              0.21006,
              0.53555,
              0.61602,
              0.71624,
              0.84151,
              0.99792,
              1.19322
            ],
            [
              0.2156,
              0.54153,
              0.62201,
              0.72225,
              0.84752,
              1.00398,
              1.19928
            ],
            [
              0.22401,
              0.55048,
              0.63103,
              0.73131,
              0.8565,
              1.01311,
              1.20841
            ],
            [
              0.23675,
              0.56386,
              0.64447,
              0.7448,
              0.87005,
              1.02672,
              1.22212
            ],
            [
              0.25581,
              0.58359,
              0.66427,
              0.76468,
              0.88984,
              1.04653,
              1.24203
            ],
            [
              0.28331,
              0.6116,
              0.69238,
              0.79289,
              0.91826,
              1.07496,
              1.27056
            ],
            [
              0.32224,
              0.65074,
              0.7316,
              0.83215,
              0.95775,
              1.11465,
              1.31015
            ],
            [
              0.37675,
              0.70599,
              0.78699,
              0.88769,
              1.01339,
              1.17039,
              1.36619
            ],
            [
              0.4443,
              0.78592,
              0.86692,
              0.96772,
              1.09342,
              1.25062,
              1.44652
            ],
            [
              0.52577,
              0.90347,
              0.98457,
              1.08537,
              1.21127,
              1.36847,
              1.56457
            ],
            [
              0.6224,
              1.0658,
              1.1551,
              1.2605,
              1.3869,
              1.5443,
              1.7406
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.143,
              0.45702,
              0.53559,
              0.63439,
              0.75743,
              0.91234,
              1.10523
            ],
            [
              0.14299,
              0.45694,
              0.53619,
              0.63423,
              0.7577,
              0.91209,
              1.10567
            ],
            [
              0.14293,
              0.45687,
              0.5362,
              0.63435,
              0.75772,
              0.91142,
              1.1056
            ],
            [
              0.14295,
              0.45704,
              0.53574,
              0.63423,
              0.75735,
              0.91145,
              1.10482
            ],
            [
              0.14287,
              0.45677,
              0.53612,
              0.63447,
              0.75718,
              0.91144,
              1.10525
            ],
            [
              0.14264,
              0.45676,
              0.5356,
              0.63411,
              0.75749,
              0.91273,
              1.1048
            ],
            [
              0.14198,
              0.45687,
              0.53593,
              0.63429,
              0.75762,
              0.91168,
              1.10488
            ],
            [
              0.14389,
              0.45671,
              0.53597,
              0.63439,
              0.75757,
              0.91226,
              1.10489
            ],
            [
              0.15085,
              0.45679,
              0.53592,
              0.63442,
              0.75772,
              0.91144,
              1.10512
            ],
            [
              0.16768,
              0.45954,
              0.53686,
              0.63398,
              0.75735,
              0.91196,
              1.10513
            ],
            [
              0.1943,
              0.47309,
              0.54721,
              0.641,
              0.7609,
              0.9128,
              1.1051
            ],
            [
              0.2348,
              0.5089,
              0.5772,
              0.6662,
              0.7798,
              0.9259,
              1.1116
            ],
            [
              0.2928,
              0.5801,
              0.6449,
              0.7258,
              0.8316,
              0.9671,
              1.1436
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.13813,
              0.58442,
              0.69517,
              0.83334,
              1.00589,
              1.2213,
              1.49093
            ],
            [
              0.13817,
              0.58438,
              0.69505,
              0.83318,
              1.00534,
              1.22082,
              1.49123
            ],
            [
              0.13794,
              0.58358,
              0.69444,
              0.83246,
              1.00537,
              1.22095,
              1.49127
            ],
            [
              0.13805,
              0.58388,
              0.69469,
              0.83235,
              1.00492,
              1.22178,
              1.49105
            ],
            [
              0.1382,
              0.58371,
              0.69473,
              0.83248,
              1.00597,
              1.22192,
              1.49135
            ],
            [
              0.13812,
              0.58367,
              0.69439,
              0.8325,
              1.00573,
              1.22094,
              1.49152
            ],
            [
              0.13817,
              0.58426,
              0.69524,
              0.83313,
              1.00564,
              1.22077,
              1.49151
            ],
            [
              0.13841,
              0.58415,
              0.69523,
              0.83305,
              1.006,
              1.22115,
              1.49126
            ],
            [
              0.13997,
              0.58432,
              0.69436,
              0.83319,
              1.00589,
              1.22186,
              1.49053
            ],
            [
              0.15057,
              0.58441,
              0.69435,
              0.8323,
              1.00536,
              1.22205,
              1.4916
            ],
            [
              0.17643,
              0.5882,
              0.6962,
              0.8335,
              1.0059,
              1.2219,
              1.4914
            ],
            [
              0.2139,
              0.6131,
              0.7154,
              0.8453,
              1.0113,
              1.223,
              1.4913
            ],
            [
              0.2696,
              0.6752,
              0.7701,
              0.8919,
              1.0477,
              1.2488,
              1.5031
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.17218,
              0.42122,
              0.48143,
              0.55619,
              0.64935,
              0.76554,
              0.91021
            ],
            [
              0.17518,
              0.4243,
              0.48443,
              0.55917,
              0.65234,
              0.76862,
              0.91324
            ],
            [
              0.1787,
              0.4279,
              0.48802,
              0.56276,
              0.65593,
              0.77219,
              0.91683
            ],
            [
              0.18379,
              0.43307,
              0.49323,
              0.568,
              0.66117,
              0.77741,
              0.92207
            ],
            [
              0.19086,
              0.44035,
              0.50058,
              0.57543,
              0.66854,
              0.78473,
              0.92944
            ],
            [
              0.20076,
              0.45064,
              0.51086,
              0.58568,
              0.67888,
              0.79512,
              0.93992
            ],
            [
              0.21465,
              0.4651,
              0.52532,
              0.60013,
              0.69336,
              0.80966,
              0.95443
            ],
            [
              0.23448,
              0.48539,
              0.54588,
              0.62069,
              0.71397,
              0.83036,
              0.97516
            ],
            [
              0.2635,
              0.51476,
              0.57526,
              0.6502,
              0.74358,
              0.86005,
              1.00495
            ],
            [
              0.30333,
              0.55779,
              0.61838,
              0.69339,
              0.78689,
              0.90349,
              1.04859
            ],
            [
              0.35524,
              0.62192,
              0.68252,
              0.75772,
              0.85132,
              0.96802,
              1.11322
            ],
            [
              0.42267,
              0.71417,
              0.77737,
              0.85387,
              0.94767,
              1.06447,
              1.20977
            ],
            [
              0.5084,
              0.8355,
              0.9047,
              0.9876,
              1.0877,
              1.2085,
              1.3545
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.16199,
              0.41466,
              0.47645,
              0.55326,
              0.64915,
              0.76901,
              0.91844
            ],
            [
              0.16481,
              0.41759,
              0.47936,
              0.55615,
              0.65208,
              0.77191,
              0.92132
            ],
            [
              0.16842,
              0.42118,
              0.48297,
              0.55976,
              0.65569,
              0.77554,
              0.92491
            ],
            [
              0.17394,
              0.42688,
              0.48866,
              0.56546,
              0.66139,
              0.78124,
              0.93061
            ],
            [
              0.18248,
              0.43557,
              0.49735,
              0.57422,
              0.67014,
              0.78996,
              0.93941
            ],
            [
              0.19536,
              0.44873,
              0.51054,
              0.58738,
              0.68332,
              0.8032,
              0.95262
            ],
            [
              0.21443,
              0.46808,
              0.52993,
              0.60681,
              0.70277,
              0.82263,
              0.97213
            ],
            [
              0.24186,
              0.49575,
              0.55762,
              0.63453,
              0.73053,
              0.85046,
              0.99996
            ],
            [
              0.28135,
              0.53536,
              0.59726,
              0.67425,
              0.77025,
              0.89025,
              1.03975
            ],
            [
              0.3342,
              0.59263,
              0.65459,
              0.73159,
              0.82769,
              0.94769,
              1.09729
            ],
            [
              0.39771,
              0.67692,
              0.73902,
              0.81602,
              0.91222,
              1.03232,
              1.18192
            ],
            [
              0.47247,
              0.80017,
              0.86437,
              0.94167,
              1.03807,
              1.15827,
              1.30797
            ],
            [
              0.5559,
              0.9566,
              1.0326,
              1.1211,
              1.2245,
              1.3462,
              1.4962
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.12695,
              0.44796,
              0.52746,
              0.62644,
              0.75012,
              0.90461,
              1.09733
            ],
            [
              0.12695,
              0.44771,
              0.52761,
              0.62661,
              0.75026,
              0.90484,
              1.09776
            ],
            [
              0.12695,
              0.44776,
              0.5276,
              0.6266,
              0.75035,
              0.90491,
              1.09774
            ],
            [
              0.12696,
              0.44765,
              0.52761,
              0.62658,
              0.75028,
              0.90504,
              1.09767
            ],
            [
              0.12695,
              0.44798,
              0.52746,
              0.62622,
              0.74985,
              0.90433,
              1.09762
            ],
            [
              0.12697,
              0.44805,
              0.5276,
              0.6263,
              0.74951,
              0.90414,
              1.097
            ],
            [
              0.12683,
              0.44781,
              0.52742,
              0.62654,
              0.7503,
              0.9051,
              1.09709
            ],
            [
              0.12684,
              0.44784,
              0.52698,
              0.62628,
              0.75031,
              0.90497,
              1.09753
            ],
            [
              0.13043,
              0.44797,
              0.52722,
              0.6264,
              0.7497,
              0.90476,
              1.09818
            ],
            [
              0.141,
              0.44939,
              0.52754,
              0.62647,
              0.75002,
              0.90478,
              1.09749
            ],
            [
              0.15793,
              0.45896,
              0.53538,
              0.6314,
              0.7524,
              0.9055,
              1.0978
            ],
            [
              0.1832,
              0.485,
              0.558,
              0.6503,
              0.7676,
              0.9154,
              1.1037
            ],
            [
              0.2229,
              0.5353,
              0.6069,
              0.6947,
              0.807,
              0.9492,
              1.1298
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.1231,
              0.45786,
              0.54093,
              0.64486,
              0.77584,
              0.93856,
              1.14196
            ],
            [
              0.12331,
              0.45738,
              0.5412,
              0.64563,
              0.7759,
              0.93805,
              1.14189
            ],
            [
              0.12347,
              0.45769,
              0.54111,
              0.6456,
              0.77597,
              0.93858,
              1.14123
            ],
            [
              0.12345,
              0.45734,
              0.54118,
              0.64567,
              0.77583,
              0.93834,
              1.14117
            ],
            [
              0.12352,
              0.45777,
              0.54153,
              0.64536,
              0.77565,
              0.93784,
              1.14198
            ],
            [
              0.12321,
              0.45777,
              0.54127,
              0.64538,
              0.77582,
              0.9388,
              1.14221
            ],
            [
              0.12336,
              0.45738,
              0.54084,
              0.6452,
              0.77522,
              0.93789,
              1.14074
            ],
            [
              0.12367,
              0.45758,
              0.54144,
              0.64557,
              0.77515,
              0.93802,
              1.14116
            ],
            [
              0.12733,
              0.45751,
              0.54146,
              0.64515,
              0.7758,
              0.93809,
              1.14194
            ],
            [
              0.14316,
              0.45787,
              0.54115,
              0.64561,
              0.77497,
              0.93884,
              1.14097
            ],
            [
              0.17529,
              0.469,
              0.5481,
              0.6486,
              0.776,
              0.9382,
              1.1421
            ],
            [
              0.2211,
              0.5065,
              0.5789,
              0.6732,
              0.7929,
              0.9476,
              1.1442
            ],
            [
              0.2871,
              0.5911,
              0.6555,
              0.7397,
              0.8495,
              0.9923,
              1.1766
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.13961,
              0.39256,
              0.45303,
              0.52796,
              0.62129,
              0.73761,
              0.8825
            ],
            [
              0.14251,
              0.39552,
              0.45593,
              0.53086,
              0.62418,
              0.74056,
              0.88541
            ],
            [
              0.14593,
              0.39893,
              0.45941,
              0.53432,
              0.62764,
              0.74401,
              0.88891
            ],
            [
              0.15088,
              0.40397,
              0.46442,
              0.53939,
              0.63269,
              0.74906,
              0.89394
            ],
            [
              0.15783,
              0.41113,
              0.47161,
              0.54655,
              0.63986,
              0.75625,
              0.90114
            ],
            [
              0.1676,
              0.42123,
              0.48174,
              0.55672,
              0.65004,
              0.76641,
              0.91131
            ],
            [
              0.18147,
              0.43557,
              0.4961,
              0.57112,
              0.66446,
              0.78088,
              0.92583
            ],
            [
              0.20151,
              0.45593,
              0.51651,
              0.59156,
              0.68498,
              0.80147,
              0.94646
            ],
            [
              0.23032,
              0.48531,
              0.54595,
              0.62109,
              0.7146,
              0.83115,
              0.97615
            ],
            [
              0.26771,
              0.5284,
              0.58914,
              0.66439,
              0.75799,
              0.87469,
              1.01979
            ],
            [
              0.31628,
              0.59262,
              0.65342,
              0.72882,
              0.82252,
              0.93932,
              1.08462
            ],
            [
              0.37887,
              0.68317,
              0.74737,
              0.82487,
              0.91897,
              1.03587,
              1.18127
            ],
            [
              0.4569,
              0.8016,
              0.8721,
              0.9564,
              1.0576,
              1.1794,
              1.3262
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.19591,
              0.53245,
              0.61503,
              0.71779,
              0.84613,
              1.00647,
              1.20657
            ],
            [
              0.19856,
              0.53512,
              0.61779,
              0.72055,
              0.84888,
              1.00924,
              1.20934
            ],
            [
              0.20204,
              0.53869,
              0.62128,
              0.72403,
              0.85237,
              1.01282,
              1.21282
            ],
            [
              0.20739,
              0.54426,
              0.62687,
              0.72962,
              0.85798,
              1.01838,
              1.21847
            ],
            [
              0.21574,
              0.55286,
              0.63548,
              0.73826,
              0.86661,
              1.02701,
              1.22711
            ],
            [
              0.22844,
              0.56587,
              0.64851,
              0.75132,
              0.87971,
              1.04012,
              1.24022
            ],
            [
              0.24705,
              0.58487,
              0.66758,
              0.77042,
              0.89883,
              1.05933,
              1.25943
            ],
            [
              0.27344,
              0.61155,
              0.69428,
              0.79716,
              0.92556,
              1.08606,
              1.28626
            ],
            [
              0.31023,
              0.64858,
              0.73135,
              0.83435,
              0.96285,
              1.12335,
              1.32355
            ],
            [
              0.36039,
              0.70039,
              0.78319,
              0.88619,
              1.01479,
              1.17549,
              1.37569
            ],
            [
              0.42031,
              0.77472,
              0.85762,
              0.96072,
              1.08942,
              1.25012,
              1.45042
            ],
            [
              0.49087,
              0.88347,
              0.96657,
              1.06977,
              1.19857,
              1.35937,
              1.55977
            ],
            [
              0.571,
              1.0289,
              1.1212,
              1.2302,
              1.3603,
              1.5213,
              1.7221
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11151,
              0.42975,
              0.5085,
              0.60702,
              0.73068,
              0.88564,
              1.07769
            ],
            [
              0.11146,
              0.42963,
              0.50896,
              0.60755,
              0.73094,
              0.8857,
              1.07811
            ],
            [
              0.1114,
              0.42974,
              0.50844,
              0.60768,
              0.73095,
              0.88542,
              1.07813
            ],
            [
              0.1115,
              0.4297,
              0.50899,
              0.60723,
              0.73116,
              0.88501,
              1.07769
            ],
            [
              0.11148,
              0.42981,
              0.50879,
              0.60745,
              0.73112,
              0.88507,
              1.07815
            ],
            [
              0.11122,
              0.42977,
              0.50894,
              0.60713,
              0.73115,
              0.88551,
              1.07781
            ],
            [
              0.11078,
              0.42976,
              0.50891,
              0.60717,
              0.73115,
              0.88565,
              1.07822
            ],
            [
              0.11171,
              0.42966,
              0.50893,
              0.6075,
              0.73094,
              0.8852,
              1.07801
            ],
            [
              0.11672,
              0.4294,
              0.50897,
              0.60743,
              0.73112,
              0.88532,
              1.07769
            ],
            [
              0.12809,
              0.43181,
              0.50973,
              0.60759,
              0.7311,
              0.88509,
              1.07796
            ],
            [
              0.1449,
              0.4422,
              0.51789,
              0.6136,
              0.734,
              0.8864,
              1.0778
            ],
            [
              0.1708,
              0.4698,
              0.5429,
              0.6335,
              0.7495,
              0.8981,
              1.0843
            ],
            [
              0.2116,
              0.5213,
              0.593,
              0.68,
              0.7913,
              0.9327,
              1.1124
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14036,
              0.59374,
              0.70648,
              0.84655,
              1.02209,
              1.24339,
              1.51787
            ],
            [
              0.14038,
              0.59337,
              0.706,
              0.84647,
              1.02201,
              1.24204,
              1.51681
            ],
            [
              0.14032,
              0.59358,
              0.70648,
              0.84694,
              1.02276,
              1.24303,
              1.51787
            ],
            [
              0.14044,
              0.5938,
              0.70676,
              0.8474,
              1.02278,
              1.24216,
              1.51617
            ],
            [
              0.14038,
              0.59335,
              0.70647,
              0.847,
              1.023,
              1.24306,
              1.51786
            ],
            [
              0.1402,
              0.59355,
              0.70644,
              0.84676,
              1.02225,
              1.24343,
              1.51615
            ],
            [
              0.14048,
              0.59312,
              0.7067,
              0.8471,
              1.02217,
              1.24232,
              1.51762
            ],
            [
              0.14062,
              0.59369,
              0.70664,
              0.84649,
              1.02287,
              1.2434,
              1.51671
            ],
            [
              0.14276,
              0.59373,
              0.70593,
              0.84735,
              1.02235,
              1.24322,
              1.51696
            ],
            [
              0.15438,
              0.5938,
              0.70577,
              0.84726,
              1.02319,
              1.24179,
              1.5178
            ],
            [
              0.18016,
              0.5985,
              0.709,
              0.8475,
              1.0223,
              1.2424,
              1.5177
            ],
            [
              0.2162,
              0.6255,
              0.7299,
              0.8623,
              1.0302,
              1.2456,
              1.5179
            ],
            [
              0.2688,
              0.6898,
              0.7865,
              0.9111,
              1.0704,
              1.2745,
              1.5339
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14286,
              0.39528,
              0.45569,
              0.53064,
              0.62398,
              0.74037,
              0.8853
            ],
            [
              0.14576,
              0.39821,
              0.45861,
              0.53355,
              0.62688,
              0.74327,
              0.88821
            ],
            [
              0.14919,
              0.40166,
              0.46208,
              0.53701,
              0.63034,
              0.74675,
              0.89167
            ],
            [
              0.15413,
              0.4067,
              0.46714,
              0.54209,
              0.6354,
              0.75184,
              0.89675
            ],
            [
              0.16109,
              0.41386,
              0.4743,
              0.54924,
              0.64259,
              0.75901,
              0.90393
            ],
            [
              0.17087,
              0.42399,
              0.48447,
              0.55943,
              0.65277,
              0.76919,
              0.91416
            ],
            [
              0.18472,
              0.43833,
              0.49883,
              0.57383,
              0.66722,
              0.78368,
              0.92863
            ],
            [
              0.20471,
              0.45866,
              0.51924,
              0.59431,
              0.68775,
              0.80426,
              0.94936
            ],
            [
              0.2336,
              0.48804,
              0.5487,
              0.62385,
              0.71737,
              0.83395,
              0.97905
            ],
            [
              0.27122,
              0.53115,
              0.5919,
              0.66719,
              0.76079,
              0.87749,
              1.02269
            ],
            [
              0.32014,
              0.59532,
              0.65612,
              0.73152,
              0.82532,
              0.94212,
              1.08742
            ],
            [
              0.38317,
              0.68607,
              0.75027,
              0.82757,
              0.92167,
              1.03867,
              1.18417
            ],
            [
              0.4621,
              0.8048,
              0.8752,
              0.9594,
              1.0606,
              1.1823,
              1.329
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.22012,
              0.54198,
              0.62093,
              0.71912,
              0.84173,
              0.99497,
              1.18607
            ],
            [
              0.22281,
              0.54469,
              0.62364,
              0.72183,
              0.84452,
              0.99774,
              1.18884
            ],
            [
              0.22632,
              0.54827,
              0.62721,
              0.72541,
              0.84803,
              1.00122,
              1.19232
            ],
            [
              0.23178,
              0.55385,
              0.63282,
              0.73104,
              0.85366,
              1.00687,
              1.19798
            ],
            [
              0.24026,
              0.5625,
              0.64147,
              0.7397,
              0.86233,
              1.01561,
              1.20661
            ],
            [
              0.25305,
              0.57555,
              0.65454,
              0.75279,
              0.87544,
              1.02872,
              1.21982
            ],
            [
              0.27183,
              0.59459,
              0.67363,
              0.77191,
              0.89463,
              1.04783,
              1.23893
            ],
            [
              0.29834,
              0.62145,
              0.7005,
              0.79882,
              0.92156,
              1.07486,
              1.26596
            ],
            [
              0.33549,
              0.65877,
              0.73791,
              0.83635,
              0.95905,
              1.11245,
              1.30355
            ],
            [
              0.38762,
              0.71129,
              0.79049,
              0.88889,
              1.01169,
              1.16519,
              1.35639
            ],
            [
              0.45312,
              0.78682,
              0.86612,
              0.96462,
              1.08752,
              1.24102,
              1.43232
            ],
            [
              0.53107,
              0.89777,
              0.97717,
              1.07577,
              1.19877,
              1.35247,
              1.54387
            ],
            [
              0.6219,
              1.0488,
              1.1362,
              1.2399,
              1.3639,
              1.5178,
              1.7095
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14293,
              0.45703,
              0.53607,
              0.63409,
              0.7578,
              0.9119,
              1.10576
            ],
            [
              0.14292,
              0.45678,
              0.5361,
              0.63431,
              0.75735,
              0.91245,
              1.10518
            ],
            [
              0.14295,
              0.45681,
              0.53606,
              0.63417,
              0.75766,
              0.91135,
              1.10492
            ],
            [
              0.14294,
              0.45705,
              0.53574,
              0.63421,
              0.75765,
              0.91134,
              1.10504
            ],
            [
              0.1429,
              0.45678,
              0.53573,
              0.63442,
              0.7574,
              0.9127,
              1.10509
            ],
            [
              0.14277,
              0.45703,
              0.53613,
              0.63442,
              0.75784,
              0.91142,
              1.10493
            ],
            [
              0.14231,
              0.45703,
              0.53571,
              0.63436,
              0.75759,
              0.91233,
              1.10521
            ],
            [
              0.14309,
              0.45693,
              0.5361,
              0.6344,
              0.75759,
              0.91137,
              1.10422
            ],
            [
              0.14784,
              0.45685,
              0.53574,
              0.63435,
              0.75776,
              0.91279,
              1.10501
            ],
            [
              0.16003,
              0.45885,
              0.53671,
              0.63411,
              0.75756,
              0.91207,
              1.10537
            ],
            [
              0.17904,
              0.46976,
              0.54538,
              0.64023,
              0.7604,
              0.9124,
              1.1047
            ],
            [
              0.208,
              0.4974,
              0.5695,
              0.6608,
              0.7766,
              0.9251,
              1.1116
            ],
            [
              0.2531,
              0.55,
              0.6206,
              0.7072,
              0.8185,
              0.9599,
              1.1401
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.15597,
              0.59327,
              0.70179,
              0.83694,
              1.0058,
              1.21697,
              1.48047
            ],
            [
              0.15594,
              0.59327,
              0.70175,
              0.83689,
              1.00569,
              1.21685,
              1.48057
            ],
            [
              0.15594,
              0.59328,
              0.70175,
              0.83689,
              1.00585,
              1.21702,
              1.48066
            ],
            [
              0.15597,
              0.59321,
              0.70159,
              0.83683,
              1.00502,
              1.21694,
              1.48007
            ],
            [
              0.15608,
              0.59325,
              0.70158,
              0.83661,
              1.00537,
              1.21583,
              1.47884
            ],
            [
              0.156,
              0.59327,
              0.70161,
              0.83603,
              1.00489,
              1.21648,
              1.4801
            ],
            [
              0.15586,
              0.59276,
              0.70093,
              0.83652,
              1.0057,
              1.21691,
              1.47934
            ],
            [
              0.15619,
              0.59327,
              0.70098,
              0.83664,
              1.00579,
              1.21708,
              1.47942
            ],
            [
              0.15712,
              0.59288,
              0.70175,
              0.8365,
              1.00504,
              1.21686,
              1.47894
            ],
            [
              0.1668,
              0.59255,
              0.70151,
              0.83673,
              1.00466,
              1.21624,
              1.4788
            ],
            [
              0.19178,
              0.5977,
              0.7036,
              0.836,
              1.005,
              1.2157,
              1.48
            ],
            [
              0.2297,
              0.6227,
              0.7232,
              0.851,
              1.013,
              1.2184,
              1.48
            ],
            [
              0.2847,
              0.6862,
              0.7797,
              0.899,
              1.0523,
              1.2477,
              1.496
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05056,
              0.212,
              0.25212,
              0.30171,
              0.36449,
              0.44216,
              0.53928
            ],
            [
              0.05267,
              0.21496,
              0.25484,
              0.30458,
              0.36737,
              0.44505,
              0.54218
            ],
            [
              0.05539,
              0.21831,
              0.25825,
              0.30799,
              0.3708,
              0.44876,
              0.54558
            ],
            [
              0.05973,
              0.22318,
              0.26355,
              0.31333,
              0.37552,
              0.45413,
              0.55131
            ],
            [
              0.06659,
              0.23093,
              0.27119,
              0.32118,
              0.38329,
              0.46195,
              0.55931
            ],
            [
              0.07747,
              0.24243,
              0.28255,
              0.33237,
              0.39486,
              0.47355,
              0.5709
            ],
            [
              0.09225,
              0.25959,
              0.29963,
              0.34997,
              0.41226,
              0.49034,
              0.58846
            ],
            [
              0.10966,
              0.28545,
              0.32581,
              0.37607,
              0.43836,
              0.51653,
              0.61434
            ],
            [
              0.13009,
              0.32465,
              0.36501,
              0.41508,
              0.478,
              0.55626,
              0.65408
            ],
            [
              0.15381,
              0.38368,
              0.42421,
              0.47464,
              0.53734,
              0.61514,
              0.71299
            ],
            [
              0.18089,
              0.46572,
              0.51182,
              0.56372,
              0.62632,
              0.70472,
              0.80252
            ],
            [
              0.21117,
              0.56517,
              0.62207,
              0.68617,
              0.75847,
              0.84017,
              0.93697
            ],
            [
              0.2444,
              0.6837,
              0.7543,
              0.8336,
              0.9229,
              1.0233,
              1.136
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06336,
              0.28009,
              0.33364,
              0.40013,
              0.48412,
              0.58843,
              0.71783
            ],
            [
              0.06518,
              0.28308,
              0.3367,
              0.40358,
              0.48713,
              0.59122,
              0.72087
            ],
            [
              0.06776,
              0.28631,
              0.3401,
              0.40658,
              0.49053,
              0.59515,
              0.72485
            ],
            [
              0.07211,
              0.29148,
              0.34526,
              0.41236,
              0.49563,
              0.60013,
              0.73121
            ],
            [
              0.07944,
              0.29949,
              0.35333,
              0.42045,
              0.50387,
              0.6084,
              0.73954
            ],
            [
              0.09133,
              0.31131,
              0.36534,
              0.43208,
              0.51594,
              0.62105,
              0.75115
            ],
            [
              0.11024,
              0.32936,
              0.3832,
              0.45046,
              0.5346,
              0.63908,
              0.76926
            ],
            [
              0.13365,
              0.35773,
              0.41102,
              0.47828,
              0.56168,
              0.66705,
              0.79776
            ],
            [
              0.16154,
              0.40013,
              0.45383,
              0.52135,
              0.60472,
              0.70998,
              0.84005
            ],
            [
              0.19445,
              0.46405,
              0.5181,
              0.58555,
              0.66909,
              0.77399,
              0.90439
            ],
            [
              0.23294,
              0.56252,
              0.61612,
              0.68262,
              0.76632,
              0.87122,
              1.00142
            ],
            [
              0.27797,
              0.69467,
              0.75897,
              0.83047,
              0.91387,
              1.01757,
              1.14777
            ],
            [
              0.3311,
              0.855,
              0.9364,
              1.027,
              1.1279,
              1.2401,
              1.3702
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04055,
              0.25606,
              0.30997,
              0.37678,
              0.46074,
              0.56582,
              0.69677
            ],
            [
              0.04058,
              0.2558,
              0.30968,
              0.3768,
              0.46102,
              0.56582,
              0.69678
            ],
            [
              0.04056,
              0.25577,
              0.30965,
              0.37678,
              0.4613,
              0.56566,
              0.69693
            ],
            [
              0.0405,
              0.25584,
              0.30984,
              0.37677,
              0.46071,
              0.56644,
              0.69691
            ],
            [
              0.04039,
              0.25619,
              0.31013,
              0.37667,
              0.46073,
              0.56664,
              0.69674
            ],
            [
              0.04306,
              0.25594,
              0.30961,
              0.3768,
              0.46067,
              0.56645,
              0.69677
            ],
            [
              0.05101,
              0.25587,
              0.30968,
              0.37726,
              0.46078,
              0.56577,
              0.69819
            ],
            [
              0.06283,
              0.25571,
              0.30995,
              0.37676,
              0.4608,
              0.5658,
              0.697
            ],
            [
              0.07844,
              0.25977,
              0.31117,
              0.37678,
              0.46113,
              0.5663,
              0.69779
            ],
            [
              0.09969,
              0.27825,
              0.32457,
              0.38462,
              0.46375,
              0.56673,
              0.69742
            ],
            [
              0.1281,
              0.3203,
              0.36066,
              0.41456,
              0.48599,
              0.57998,
              0.7019
            ],
            [
              0.1652,
              0.3915,
              0.4315,
              0.4789,
              0.5412,
              0.6245,
              0.7362
            ],
            [
              0.2138,
              0.4868,
              0.5327,
              0.5861,
              0.6486,
              0.7227,
              0.8201
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05636,
              0.35593,
              0.43041,
              0.52408,
              0.64068,
              0.78589,
              0.96895
            ],
            [
              0.05618,
              0.35592,
              0.4305,
              0.52407,
              0.64023,
              0.78654,
              0.96893
            ],
            [
              0.05633,
              0.35599,
              0.43053,
              0.52402,
              0.6407,
              0.78632,
              0.96877
            ],
            [
              0.05601,
              0.35575,
              0.4308,
              0.52382,
              0.64053,
              0.78674,
              0.96838
            ],
            [
              0.05577,
              0.35574,
              0.43081,
              0.52384,
              0.64044,
              0.7867,
              0.96853
            ],
            [
              0.05669,
              0.35587,
              0.43074,
              0.52401,
              0.64066,
              0.78652,
              0.96856
            ],
            [
              0.06349,
              0.35586,
              0.43073,
              0.52405,
              0.6406,
              0.78631,
              0.96886
            ],
            [
              0.07883,
              0.35544,
              0.4306,
              0.52392,
              0.6404,
              0.78676,
              0.96804
            ],
            [
              0.09993,
              0.3556,
              0.4306,
              0.52348,
              0.64061,
              0.78582,
              0.96875
            ],
            [
              0.12635,
              0.36537,
              0.43474,
              0.52413,
              0.6405,
              0.78638,
              0.96856
            ],
            [
              0.15996,
              0.39825,
              0.45932,
              0.54112,
              0.648,
              0.7874,
              0.968
            ],
            [
              0.20208,
              0.4698,
              0.5214,
              0.5922,
              0.6872,
              0.814,
              0.9804
            ],
            [
              0.2546,
              0.59,
              0.6419,
              0.7017,
              0.7813,
              0.8906,
              1.0401
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05059,
              0.21212,
              0.25187,
              0.30206,
              0.36413,
              0.44243,
              0.53929
            ],
            [
              0.05276,
              0.215,
              0.25504,
              0.30465,
              0.36742,
              0.44522,
              0.54225
            ],
            [
              0.05551,
              0.21826,
              0.25853,
              0.30835,
              0.37043,
              0.44906,
              0.54602
            ],
            [
              0.05991,
              0.22356,
              0.26347,
              0.31367,
              0.37605,
              0.45369,
              0.55176
            ],
            [
              0.06679,
              0.23131,
              0.27128,
              0.32113,
              0.38403,
              0.46188,
              0.559
            ],
            [
              0.07775,
              0.24274,
              0.28293,
              0.33271,
              0.39555,
              0.4736,
              0.5707
            ],
            [
              0.09259,
              0.2599,
              0.30002,
              0.35029,
              0.41266,
              0.49085,
              0.58902
            ],
            [
              0.11004,
              0.2857,
              0.32605,
              0.37639,
              0.43863,
              0.51754,
              0.61477
            ],
            [
              0.13047,
              0.32506,
              0.36534,
              0.41545,
              0.47834,
              0.55656,
              0.65443
            ],
            [
              0.15413,
              0.38411,
              0.42434,
              0.47469,
              0.53746,
              0.61564,
              0.71339
            ],
            [
              0.1811,
              0.46642,
              0.51192,
              0.56422,
              0.62672,
              0.70492,
              0.80302
            ],
            [
              0.21127,
              0.56547,
              0.62247,
              0.68657,
              0.75897,
              0.84057,
              0.93737
            ],
            [
              0.2441,
              0.684,
              0.7547,
              0.834,
              0.9233,
              1.0238,
              1.1365
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06945,
              0.31568,
              0.37643,
              0.45208,
              0.54729,
              0.66562,
              0.81294
            ],
            [
              0.0711,
              0.31853,
              0.37933,
              0.45483,
              0.55021,
              0.66875,
              0.81589
            ],
            [
              0.0733,
              0.32172,
              0.38249,
              0.45869,
              0.5535,
              0.67154,
              0.82028
            ],
            [
              0.07733,
              0.32661,
              0.38775,
              0.4638,
              0.55856,
              0.67665,
              0.82591
            ],
            [
              0.08423,
              0.33442,
              0.39552,
              0.47133,
              0.56644,
              0.68553,
              0.83323
            ],
            [
              0.09575,
              0.34563,
              0.40705,
              0.48279,
              0.57834,
              0.69726,
              0.84469
            ],
            [
              0.1142,
              0.36311,
              0.42448,
              0.50043,
              0.59615,
              0.71519,
              0.86292
            ],
            [
              0.13856,
              0.39036,
              0.45139,
              0.52765,
              0.62283,
              0.74187,
              0.89066
            ],
            [
              0.1672,
              0.4315,
              0.49264,
              0.56928,
              0.66397,
              0.78335,
              0.93195
            ],
            [
              0.20101,
              0.49359,
              0.5555,
              0.63129,
              0.72669,
              0.84609,
              0.99429
            ],
            [
              0.24059,
              0.58902,
              0.65002,
              0.72612,
              0.82072,
              0.93952,
              1.08762
            ],
            [
              0.28697,
              0.72457,
              0.79297,
              0.86997,
              0.96447,
              1.08337,
              1.23027
            ],
            [
              0.3416,
              0.8891,
              0.9753,
              1.0714,
              1.1789,
              1.2996,
              1.4472
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04056,
              0.25587,
              0.30968,
              0.3769,
              0.46077,
              0.56569,
              0.69687
            ],
            [
              0.04056,
              0.25607,
              0.30981,
              0.37726,
              0.46115,
              0.56582,
              0.69683
            ],
            [
              0.04056,
              0.25618,
              0.30983,
              0.37706,
              0.4608,
              0.56569,
              0.69701
            ],
            [
              0.04052,
              0.25595,
              0.30972,
              0.37728,
              0.46063,
              0.56579,
              0.69793
            ],
            [
              0.04035,
              0.25585,
              0.30971,
              0.37684,
              0.46107,
              0.56583,
              0.69683
            ],
            [
              0.04294,
              0.25578,
              0.30957,
              0.3768,
              0.46062,
              0.56581,
              0.69681
            ],
            [
              0.05075,
              0.25582,
              0.30998,
              0.37722,
              0.46078,
              0.56579,
              0.698
            ],
            [
              0.06253,
              0.25577,
              0.31002,
              0.37675,
              0.46074,
              0.56607,
              0.69704
            ],
            [
              0.07814,
              0.25961,
              0.31126,
              0.37677,
              0.46111,
              0.56631,
              0.6979
            ],
            [
              0.09945,
              0.278,
              0.32451,
              0.38477,
              0.46378,
              0.56671,
              0.69743
            ],
            [
              0.12788,
              0.31982,
              0.36057,
              0.41426,
              0.48573,
              0.58007,
              0.7018
            ],
            [
              0.16531,
              0.391,
              0.4312,
              0.4784,
              0.5408,
              0.6242,
              0.7361
            ],
            [
              0.214,
              0.4864,
              0.5323,
              0.5857,
              0.6481,
              0.7224,
              0.8197
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06475,
              0.40321,
              0.48781,
              0.5923,
              0.72465,
              0.88916,
              1.09368
            ],
            [
              0.06449,
              0.40312,
              0.48783,
              0.59242,
              0.72459,
              0.88945,
              1.09397
            ],
            [
              0.06451,
              0.40339,
              0.48728,
              0.59296,
              0.72467,
              0.88871,
              1.09407
            ],
            [
              0.0643,
              0.40311,
              0.48779,
              0.59297,
              0.72453,
              0.88863,
              1.09519
            ],
            [
              0.06391,
              0.40336,
              0.48768,
              0.59287,
              0.72414,
              0.8894,
              1.09454
            ],
            [
              0.06378,
              0.4031,
              0.48774,
              0.59247,
              0.72451,
              0.88932,
              1.09399
            ],
            [
              0.06951,
              0.40308,
              0.48703,
              0.59242,
              0.72454,
              0.88928,
              1.09421
            ],
            [
              0.08382,
              0.40326,
              0.48734,
              0.59288,
              0.72427,
              0.88897,
              1.0948
            ],
            [
              0.1058,
              0.40291,
              0.48721,
              0.59287,
              0.72346,
              0.88922,
              1.09463
            ],
            [
              0.13205,
              0.4087,
              0.48903,
              0.5924,
              0.72433,
              0.88904,
              1.09471
            ],
            [
              0.16594,
              0.43735,
              0.50898,
              0.6036,
              0.727,
              0.8888,
              1.0934
            ],
            [
              0.2086,
              0.5042,
              0.5657,
              0.6488,
              0.7595,
              0.9069,
              1.0999
            ],
            [
              0.2615,
              0.6227,
              0.6794,
              0.7498,
              0.8465,
              0.9761,
              1.1491
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0506,
              0.21212,
              0.25186,
              0.30206,
              0.36415,
              0.44247,
              0.53926
            ],
            [
              0.05275,
              0.21498,
              0.25505,
              0.30466,
              0.36742,
              0.44525,
              0.54224
            ],
            [
              0.05553,
              0.21822,
              0.25851,
              0.30838,
              0.37044,
              0.44897,
              0.54619
            ],
            [
              0.05991,
              0.22354,
              0.26348,
              0.31333,
              0.37612,
              0.45372,
              0.55178
            ],
            [
              0.06681,
              0.23129,
              0.27129,
              0.32139,
              0.38399,
              0.46198,
              0.55898
            ],
            [
              0.07772,
              0.24272,
              0.2829,
              0.33267,
              0.39555,
              0.47367,
              0.57065
            ],
            [
              0.09255,
              0.25985,
              0.29999,
              0.35026,
              0.41262,
              0.49081,
              0.58898
            ],
            [
              0.10999,
              0.28566,
              0.32601,
              0.3763,
              0.43859,
              0.5175,
              0.61473
            ],
            [
              0.13043,
              0.325,
              0.36538,
              0.41541,
              0.47831,
              0.55655,
              0.65417
            ],
            [
              0.15409,
              0.38405,
              0.42461,
              0.47467,
              0.53741,
              0.61558,
              0.71339
            ],
            [
              0.18108,
              0.46632,
              0.51222,
              0.56412,
              0.62672,
              0.70482,
              0.80292
            ],
            [
              0.21127,
              0.56547,
              0.62237,
              0.68657,
              0.75887,
              0.84057,
              0.93737
            ],
            [
              0.2441,
              0.684,
              0.7546,
              0.834,
              0.9233,
              1.0237,
              1.1364
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0688,
              0.31125,
              0.37154,
              0.44609,
              0.53949,
              0.65687,
              0.80243
            ],
            [
              0.0705,
              0.31411,
              0.37441,
              0.44891,
              0.54251,
              0.65985,
              0.80539
            ],
            [
              0.07271,
              0.31766,
              0.37738,
              0.45253,
              0.54616,
              0.6626,
              0.80876
            ],
            [
              0.0768,
              0.32251,
              0.38264,
              0.45776,
              0.55114,
              0.668,
              0.81469
            ],
            [
              0.08371,
              0.33022,
              0.3904,
              0.46556,
              0.55865,
              0.6764,
              0.82256
            ],
            [
              0.09529,
              0.34163,
              0.40187,
              0.47707,
              0.57077,
              0.68837,
              0.83409
            ],
            [
              0.11379,
              0.35924,
              0.41948,
              0.4945,
              0.58885,
              0.70623,
              0.8519
            ],
            [
              0.13804,
              0.38648,
              0.44672,
              0.52156,
              0.61584,
              0.73255,
              0.87976
            ],
            [
              0.16659,
              0.4276,
              0.48823,
              0.5636,
              0.65698,
              0.77455,
              0.92115
            ],
            [
              0.2003,
              0.49023,
              0.5511,
              0.62584,
              0.71969,
              0.83749,
              0.98349
            ],
            [
              0.23974,
              0.58592,
              0.64602,
              0.72102,
              0.81492,
              0.93122,
              1.07742
            ],
            [
              0.28597,
              0.72117,
              0.78907,
              0.86527,
              0.95847,
              1.07567,
              1.22137
            ],
            [
              0.3405,
              0.8852,
              0.9708,
              1.0663,
              1.173,
              1.2925,
              1.4381
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04055,
              0.25582,
              0.30969,
              0.37695,
              0.46077,
              0.5656,
              0.69692
            ],
            [
              0.04056,
              0.2561,
              0.30976,
              0.37684,
              0.4612,
              0.56581,
              0.69684
            ],
            [
              0.04053,
              0.25587,
              0.30997,
              0.37698,
              0.46081,
              0.56654,
              0.69694
            ],
            [
              0.04049,
              0.25591,
              0.30971,
              0.37678,
              0.46031,
              0.56583,
              0.69784
            ],
            [
              0.04036,
              0.25587,
              0.30969,
              0.37737,
              0.4613,
              0.56574,
              0.69674
            ],
            [
              0.04295,
              0.25597,
              0.30956,
              0.3768,
              0.46147,
              0.56571,
              0.69691
            ],
            [
              0.05077,
              0.25591,
              0.30998,
              0.37723,
              0.46077,
              0.56579,
              0.69806
            ],
            [
              0.06257,
              0.25577,
              0.31002,
              0.37699,
              0.46074,
              0.56607,
              0.69698
            ],
            [
              0.07817,
              0.25964,
              0.31111,
              0.37678,
              0.46111,
              0.56624,
              0.69796
            ],
            [
              0.09948,
              0.27804,
              0.32442,
              0.38473,
              0.46384,
              0.56676,
              0.69748
            ],
            [
              0.12789,
              0.31993,
              0.36043,
              0.41426,
              0.48581,
              0.58004,
              0.7019
            ],
            [
              0.16504,
              0.3911,
              0.4313,
              0.4785,
              0.5409,
              0.6243,
              0.736
            ],
            [
              0.2141,
              0.4865,
              0.5324,
              0.5858,
              0.6482,
              0.7224,
              0.8198
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06375,
              0.3971,
              0.48082,
              0.58477,
              0.71401,
              0.87711,
              1.08
            ],
            [
              0.06357,
              0.39711,
              0.48085,
              0.58474,
              0.71386,
              0.87711,
              1.07996
            ],
            [
              0.06353,
              0.39757,
              0.48081,
              0.58436,
              0.71464,
              0.87681,
              1.07904
            ],
            [
              0.0633,
              0.39766,
              0.48036,
              0.58467,
              0.71457,
              0.87645,
              1.08004
            ],
            [
              0.06294,
              0.39745,
              0.48059,
              0.58471,
              0.71438,
              0.87665,
              1.08014
            ],
            [
              0.06288,
              0.39721,
              0.48047,
              0.58477,
              0.71377,
              0.87704,
              1.07974
            ],
            [
              0.06881,
              0.39735,
              0.48046,
              0.58398,
              0.71434,
              0.87704,
              1.07955
            ],
            [
              0.08328,
              0.39744,
              0.48083,
              0.58423,
              0.71446,
              0.87631,
              1.07984
            ],
            [
              0.10511,
              0.39713,
              0.48018,
              0.58458,
              0.71383,
              0.87679,
              1.0797
            ],
            [
              0.1314,
              0.40333,
              0.48255,
              0.5839,
              0.71408,
              0.87677,
              1.07927
            ],
            [
              0.16525,
              0.43242,
              0.50294,
              0.5963,
              0.7177,
              0.8768,
              1.0786
            ],
            [
              0.2078,
              0.4997,
              0.5606,
              0.6416,
              0.7508,
              0.896,
              1.0859
            ],
            [
              0.2608,
              0.6189,
              0.6749,
              0.7442,
              0.8386,
              0.9655,
              1.1362
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05072,
              0.21191,
              0.2524,
              0.30203,
              0.36423,
              0.44248,
              0.53966
            ],
            [
              0.05292,
              0.21507,
              0.25492,
              0.30506,
              0.36734,
              0.44555,
              0.54234
            ],
            [
              0.05579,
              0.2187,
              0.25847,
              0.30867,
              0.37095,
              0.44915,
              0.54638
            ],
            [
              0.06029,
              0.22373,
              0.26383,
              0.3141,
              0.37622,
              0.45448,
              0.55148
            ],
            [
              0.06729,
              0.23177,
              0.27186,
              0.32158,
              0.38444,
              0.46227,
              0.56006
            ],
            [
              0.07835,
              0.24327,
              0.28361,
              0.3333,
              0.39608,
              0.47429,
              0.57126
            ],
            [
              0.09343,
              0.26053,
              0.30091,
              0.35133,
              0.41379,
              0.49217,
              0.5892
            ],
            [
              0.11106,
              0.28673,
              0.32705,
              0.37735,
              0.43995,
              0.51841,
              0.61615
            ],
            [
              0.13158,
              0.32589,
              0.36642,
              0.41649,
              0.47954,
              0.5578,
              0.65563
            ],
            [
              0.15517,
              0.38528,
              0.4256,
              0.47607,
              0.53872,
              0.61707,
              0.71479
            ],
            [
              0.18185,
              0.46742,
              0.51352,
              0.56542,
              0.62792,
              0.70632,
              0.80412
            ],
            [
              0.21157,
              0.56667,
              0.62367,
              0.68727,
              0.75947,
              0.84117,
              0.93847
            ],
            [
              0.2433,
              0.6849,
              0.7557,
              0.835,
              0.9244,
              1.0242,
              1.1368
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.08549,
              0.41878,
              0.50106,
              0.60314,
              0.73215,
              0.89239,
              1.09187
            ],
            [
              0.08636,
              0.42143,
              0.50387,
              0.60663,
              0.73411,
              0.89573,
              1.09554
            ],
            [
              0.08789,
              0.42449,
              0.50678,
              0.60977,
              0.73808,
              0.89782,
              1.09902
            ],
            [
              0.09108,
              0.42855,
              0.51153,
              0.6142,
              0.74209,
              0.90353,
              1.10418
            ],
            [
              0.09704,
              0.4355,
              0.51842,
              0.62097,
              0.74954,
              0.91088,
              1.11031
            ],
            [
              0.10737,
              0.44594,
              0.52909,
              0.63187,
              0.76084,
              0.92191,
              1.12142
            ],
            [
              0.12472,
              0.46165,
              0.54517,
              0.64821,
              0.77711,
              0.93853,
              1.13833
            ],
            [
              0.15098,
              0.48637,
              0.56982,
              0.67262,
              0.80231,
              0.96346,
              1.16356
            ],
            [
              0.18178,
              0.52439,
              0.60791,
              0.71109,
              0.84055,
              1.00115,
              1.20315
            ],
            [
              0.21818,
              0.58238,
              0.66599,
              0.76879,
              0.89869,
              1.05929,
              1.26149
            ],
            [
              0.26087,
              0.67082,
              0.75352,
              0.85752,
              0.98542,
              1.14702,
              1.34862
            ],
            [
              0.31097,
              0.80677,
              0.88877,
              0.99107,
              1.11997,
              1.28087,
              1.48037
            ],
            [
              0.3704,
              0.984,
              1.0828,
              1.1949,
              1.3233,
              1.4832,
              1.6839
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04047,
              0.25583,
              0.30962,
              0.37663,
              0.46083,
              0.56627,
              0.69765
            ],
            [
              0.04052,
              0.25579,
              0.30957,
              0.37674,
              0.4614,
              0.566,
              0.69685
            ],
            [
              0.04045,
              0.25575,
              0.30972,
              0.37701,
              0.46116,
              0.56652,
              0.69701
            ],
            [
              0.04045,
              0.25583,
              0.30972,
              0.37703,
              0.46083,
              0.56629,
              0.69676
            ],
            [
              0.04033,
              0.25605,
              0.30965,
              0.37676,
              0.46085,
              0.56591,
              0.6978
            ],
            [
              0.0427,
              0.25584,
              0.30983,
              0.37684,
              0.46134,
              0.56573,
              0.69697
            ],
            [
              0.05022,
              0.2558,
              0.31007,
              0.37653,
              0.46138,
              0.56586,
              0.69704
            ],
            [
              0.06191,
              0.25589,
              0.31001,
              0.37688,
              0.46125,
              0.5657,
              0.69708
            ],
            [
              0.0773,
              0.25941,
              0.31109,
              0.37675,
              0.46107,
              0.56619,
              0.69759
            ],
            [
              0.09859,
              0.27726,
              0.32402,
              0.38437,
              0.46397,
              0.56663,
              0.69751
            ],
            [
              0.12711,
              0.319,
              0.35969,
              0.41355,
              0.48528,
              0.57901,
              0.7018
            ],
            [
              0.16464,
              0.39,
              0.4302,
              0.478,
              0.5404,
              0.624,
              0.7356
            ],
            [
              0.2137,
              0.4856,
              0.5314,
              0.5848,
              0.6472,
              0.722,
              0.8194
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.09014,
              0.54465,
              0.65705,
              0.79821,
              0.97404,
              1.19318,
              1.46851
            ],
            [
              0.08991,
              0.54443,
              0.65744,
              0.7978,
              0.97391,
              1.19391,
              1.46781
            ],
            [
              0.08965,
              0.54429,
              0.65729,
              0.79807,
              0.97303,
              1.19379,
              1.46864
            ],
            [
              0.08911,
              0.54486,
              0.65731,
              0.79769,
              0.97403,
              1.19401,
              1.46652
            ],
            [
              0.08816,
              0.54488,
              0.65692,
              0.79799,
              0.97413,
              1.1929,
              1.46834
            ],
            [
              0.08676,
              0.54491,
              0.65693,
              0.79805,
              0.97412,
              1.19266,
              1.46844
            ],
            [
              0.08955,
              0.54483,
              0.65711,
              0.79797,
              0.97411,
              1.19249,
              1.46835
            ],
            [
              0.10067,
              0.5448,
              0.65722,
              0.79813,
              0.97392,
              1.19292,
              1.46834
            ],
            [
              0.12441,
              0.54448,
              0.6567,
              0.79822,
              0.97295,
              1.19392,
              1.46825
            ],
            [
              0.14951,
              0.54341,
              0.6563,
              0.79806,
              0.97311,
              1.19405,
              1.46774
            ],
            [
              0.18358,
              0.56083,
              0.6646,
              0.7991,
              0.9732,
              1.1933,
              1.4683
            ],
            [
              0.2273,
              0.6126,
              0.7045,
              0.8272,
              0.9871,
              1.1965,
              1.4678
            ],
            [
              0.2813,
              0.7191,
              0.8003,
              0.9071,
              1.0504,
              1.2393,
              1.4909
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05116,
              0.21248,
              0.25244,
              0.30227,
              0.36471,
              0.44253,
              0.53996
            ],
            [
              0.05334,
              0.21536,
              0.25539,
              0.30527,
              0.36765,
              0.4456,
              0.54291
            ],
            [
              0.0561,
              0.21884,
              0.25887,
              0.30886,
              0.37106,
              0.44915,
              0.54642
            ],
            [
              0.06048,
              0.22395,
              0.26404,
              0.314,
              0.37627,
              0.45439,
              0.55183
            ],
            [
              0.0674,
              0.23168,
              0.27182,
              0.32174,
              0.38427,
              0.46217,
              0.55968
            ],
            [
              0.07836,
              0.24311,
              0.2833,
              0.33341,
              0.39591,
              0.47384,
              0.5714
            ],
            [
              0.09337,
              0.26033,
              0.30056,
              0.35058,
              0.4131,
              0.49135,
              0.58908
            ],
            [
              0.11099,
              0.28626,
              0.32663,
              0.37672,
              0.43937,
              0.5177,
              0.61534
            ],
            [
              0.13168,
              0.32557,
              0.3659,
              0.41617,
              0.47866,
              0.55687,
              0.65439
            ],
            [
              0.15569,
              0.38489,
              0.42506,
              0.47523,
              0.5379,
              0.6161,
              0.71369
            ],
            [
              0.18314,
              0.46732,
              0.51292,
              0.56502,
              0.62752,
              0.70572,
              0.80332
            ],
            [
              0.21387,
              0.56677,
              0.62357,
              0.68777,
              0.75997,
              0.84157,
              0.93827
            ],
            [
              0.2475,
              0.6856,
              0.7561,
              0.8355,
              0.9247,
              1.025,
              1.1376
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.09713,
              0.34854,
              0.4105,
              0.48763,
              0.58404,
              0.70461,
              0.85502
            ],
            [
              0.09925,
              0.35136,
              0.41336,
              0.4906,
              0.58705,
              0.70758,
              0.858
            ],
            [
              0.10189,
              0.35466,
              0.41671,
              0.49395,
              0.59043,
              0.71101,
              0.86143
            ],
            [
              0.10615,
              0.35961,
              0.4217,
              0.49895,
              0.59544,
              0.71605,
              0.86659
            ],
            [
              0.11294,
              0.36735,
              0.42951,
              0.50689,
              0.60349,
              0.72424,
              0.8748
            ],
            [
              0.12393,
              0.37882,
              0.44111,
              0.51855,
              0.61529,
              0.73615,
              0.88676
            ],
            [
              0.14138,
              0.39657,
              0.45877,
              0.53629,
              0.63314,
              0.75411,
              0.90483
            ],
            [
              0.16946,
              0.42352,
              0.48558,
              0.56319,
              0.66004,
              0.78105,
              0.93196
            ],
            [
              0.20702,
              0.46454,
              0.52696,
              0.60462,
              0.70134,
              0.82245,
              0.97345
            ],
            [
              0.25177,
              0.52684,
              0.58932,
              0.66699,
              0.76399,
              0.88509,
              1.03599
            ],
            [
              0.30494,
              0.62192,
              0.68412,
              0.76082,
              0.85762,
              0.97852,
              1.12942
            ],
            [
              0.36767,
              0.76237,
              0.82837,
              0.90527,
              1.00147,
              1.12207,
              1.27157
            ],
            [
              0.4414,
              0.9367,
              1.0196,
              1.1129,
              1.2179,
              1.3387,
              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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0602,
              0.2753,
              0.32882,
              0.39587,
              0.47992,
              0.58459,
              0.71572
            ],
            [
              0.06019,
              0.27533,
              0.32892,
              0.3959,
              0.47992,
              0.5844,
              0.71571
            ],
            [
              0.0602,
              0.2753,
              0.32893,
              0.39589,
              0.47981,
              0.58481,
              0.71501
            ],
            [
              0.0602,
              0.27527,
              0.32895,
              0.39609,
              0.47941,
              0.58455,
              0.71549
            ],
            [
              0.06011,
              0.27517,
              0.32894,
              0.396,
              0.47949,
              0.58457,
              0.71563
            ],
            [
              0.06262,
              0.27527,
              0.32883,
              0.39592,
              0.47991,
              0.58459,
              0.71562
            ],
            [
              0.07034,
              0.27524,
              0.32885,
              0.39583,
              0.47944,
              0.58428,
              0.71578
            ],
            [
              0.08578,
              0.27521,
              0.32897,
              0.39605,
              0.4796,
              0.58466,
              0.71562
            ],
            [
              0.10544,
              0.27938,
              0.33033,
              0.396,
              0.47972,
              0.58447,
              0.7155
            ],
            [
              0.13276,
              0.29759,
              0.34376,
              0.40412,
              0.48274,
              0.58487,
              0.716
            ],
            [
              0.16962,
              0.33949,
              0.38006,
              0.43387,
              0.50445,
              0.59853,
              0.7206
            ],
            [
              0.218,
              0.413,
              0.4513,
              0.4982,
              0.5602,
              0.6433,
              0.7551
            ],
            [
              0.2813,
              0.5126,
              0.5565,
              0.6078,
              0.6681,
              0.7417,
              0.8383
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.08513,
              0.4298,
              0.51571,
              0.6228,
              0.75647,
              0.92325,
              1.13207
            ],
            [
              0.08511,
              0.42979,
              0.51574,
              0.62283,
              0.75625,
              0.92363,
              1.13318
            ],
            [
              0.08507,
              0.42978,
              0.51571,
              0.62277,
              0.75606,
              0.9236,
              1.13318
            ],
            [
              0.08498,
              0.42978,
              0.51571,
              0.62279,
              0.75671,
              0.92387,
              1.13311
            ],
            [
              0.08478,
              0.42926,
              0.51566,
              0.62282,
              0.75667,
              0.92356,
              1.13212
            ],
            [
              0.08443,
              0.42963,
              0.51566,
              0.62267,
              0.75671,
              0.92351,
              1.13226
            ],
            [
              0.08485,
              0.42925,
              0.51506,
              0.62273,
              0.75674,
              0.92389,
              1.13242
            ],
            [
              0.09274,
              0.4294,
              0.5151,
              0.62234,
              0.75664,
              0.92411,
              1.13295
            ],
            [
              0.11261,
              0.42961,
              0.51499,
              0.62228,
              0.75649,
              0.92421,
              1.13308
            ],
            [
              0.14052,
              0.432,
              0.51565,
              0.62218,
              0.75579,
              0.92338,
              1.13331
            ],
            [
              0.17627,
              0.45645,
              0.53206,
              0.63,
              0.758,
              0.9241,
              1.1325
            ],
            [
              0.2222,
              0.5168,
              0.5827,
              0.6706,
              0.7864,
              0.9381,
              1.137
            ],
            [
              0.2797,
              0.6327,
              0.6902,
              0.766,
              0.8666,
              1.0013,
              1.181
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05127,
              0.21253,
              0.25253,
              0.30246,
              0.3646,
              0.44261,
              0.53993
            ],
            [
              0.05352,
              0.21553,
              0.25555,
              0.30532,
              0.36773,
              0.4456,
              0.54298
            ],
            [
              0.05634,
              0.21904,
              0.25908,
              0.30901,
              0.37127,
              0.44932,
              0.54662
            ],
            [
              0.06087,
              0.2244,
              0.26447,
              0.31433,
              0.37678,
              0.4547,
              0.55202
            ],
            [
              0.0679,
              0.23215,
              0.27227,
              0.32227,
              0.3846,
              0.46272,
              0.5601
            ],
            [
              0.079,
              0.24376,
              0.28391,
              0.33395,
              0.3965,
              0.47445,
              0.57207
            ],
            [
              0.09423,
              0.2611,
              0.30141,
              0.35135,
              0.41418,
              0.49238,
              0.58978
            ],
            [
              0.11206,
              0.28713,
              0.3276,
              0.3777,
              0.44032,
              0.51868,
              0.61614
            ],
            [
              0.13284,
              0.32647,
              0.36677,
              0.4171,
              0.47974,
              0.55808,
              0.6557
            ],
            [
              0.15678,
              0.38608,
              0.42632,
              0.47628,
              0.5392,
              0.6174,
              0.71509
            ],
            [
              0.18395,
              0.46842,
              0.51442,
              0.56622,
              0.62872,
              0.70692,
              0.80442
            ],
            [
              0.21417,
              0.56797,
              0.62467,
              0.68847,
              0.76057,
              0.84207,
              0.93937
            ],
            [
              0.2468,
              0.6865,
              0.7572,
              0.8366,
              0.9259,
              1.0255,
              1.1381
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.12417,
              0.46539,
              0.54954,
              0.6544,
              0.78539,
              0.94913,
              1.15367
            ],
            [
              0.12587,
              0.46815,
              0.55238,
              0.65722,
              0.78833,
              0.9522,
              1.15654
            ],
            [
              0.12793,
              0.47112,
              0.5554,
              0.66034,
              0.79146,
              0.95536,
              1.15992
            ],
            [
              0.13137,
              0.47563,
              0.56,
              0.66504,
              0.79615,
              0.96022,
              1.16478
            ],
            [
              0.13712,
              0.48246,
              0.56698,
              0.67204,
              0.80332,
              0.96741,
              1.17191
            ],
            [
              0.14671,
              0.49295,
              0.57771,
              0.68295,
              0.81428,
              0.97862,
              1.18322
            ],
            [
              0.1626,
              0.50913,
              0.59383,
              0.69922,
              0.83072,
              0.99513,
              1.20003
            ],
            [
              0.18829,
              0.53381,
              0.61845,
              0.72398,
              0.85566,
              1.02026,
              1.22526
            ],
            [
              0.22823,
              0.57161,
              0.6566,
              0.76175,
              0.89365,
              1.05815,
              1.26335
            ],
            [
              0.27665,
              0.62952,
              0.71439,
              0.82019,
              0.95209,
              1.11669,
              1.32199
            ],
            [
              0.33418,
              0.71802,
              0.80262,
              0.90802,
              1.03952,
              1.20412,
              1.40942
            ],
            [
              0.40207,
              0.85387,
              0.93757,
              1.04227,
              1.17337,
              1.33747,
              1.54237
            ],
            [
              0.482,
              1.0414,
              1.1378,
              1.2473,
              1.3772,
              1.5405,
              1.7445
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06013,
              0.27528,
              0.32884,
              0.39593,
              0.48007,
              0.58496,
              0.71565
            ],
            [
              0.06014,
              0.27522,
              0.3289,
              0.3959,
              0.47997,
              0.58437,
              0.71555
            ],
            [
              0.06015,
              0.27529,
              0.32886,
              0.3961,
              0.47961,
              0.58439,
              0.71551
            ],
            [
              0.06015,
              0.27516,
              0.3289,
              0.39579,
              0.48005,
              0.58447,
              0.71543
            ],
            [
              0.06008,
              0.27523,
              0.32893,
              0.39621,
              0.47982,
              0.58453,
              0.71573
            ],
            [
              0.06236,
              0.27532,
              0.32883,
              0.39616,
              0.47979,
              0.58432,
              0.71526
            ],
            [
              0.06981,
              0.27531,
              0.32911,
              0.39594,
              0.47988,
              0.58447,
              0.71561
            ],
            [
              0.08498,
              0.27522,
              0.32916,
              0.39589,
              0.47956,
              0.58485,
              0.71509
            ],
            [
              0.10444,
              0.27919,
              0.33022,
              0.39588,
              0.47948,
              0.58476,
              0.71566
            ],
            [
              0.1317,
              0.29689,
              0.34325,
              0.40378,
              0.48241,
              0.58464,
              0.71606
            ],
            [
              0.16869,
              0.33866,
              0.37907,
              0.43275,
              0.50387,
              0.59821,
              0.7205
            ],
            [
              0.21725,
              0.412,
              0.4503,
              0.4977,
              0.5597,
              0.6434,
              0.7546
            ],
            [
              0.2813,
              0.5117,
              0.5552,
              0.6067,
              0.6671,
              0.7413,
              0.8378
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11928,
              0.58329,
              0.6986,
              0.84247,
              1.02211,
              1.24539,
              1.52529
            ],
            [
              0.1192,
              0.58295,
              0.69867,
              0.84241,
              1.02219,
              1.2451,
              1.52666
            ],
            [
              0.11912,
              0.58334,
              0.69868,
              0.8425,
              1.02198,
              1.24684,
              1.52743
            ],
            [
              0.11902,
              0.58333,
              0.69877,
              0.84232,
              1.02206,
              1.24702,
              1.5266
            ],
            [
              0.11854,
              0.58323,
              0.69838,
              0.84244,
              1.02217,
              1.2464,
              1.52606
            ],
            [
              0.11802,
              0.5826,
              0.69837,
              0.84238,
              1.02166,
              1.24546,
              1.52649
            ],
            [
              0.11609,
              0.58298,
              0.69824,
              0.84242,
              1.02162,
              1.24532,
              1.52647
            ],
            [
              0.12003,
              0.58322,
              0.69801,
              0.84187,
              1.0218,
              1.24558,
              1.52665
            ],
            [
              0.13515,
              0.58259,
              0.69833,
              0.84144,
              1.02085,
              1.24659,
              1.52746
            ],
            [
              0.16485,
              0.58199,
              0.6984,
              0.84235,
              1.0212,
              1.2454,
              1.5259
            ],
            [
              0.20002,
              0.5939,
              0.7017,
              0.8417,
              1.0207,
              1.2466,
              1.5256
            ],
            [
              0.2466,
              0.6389,
              0.7368,
              0.8647,
              1.0307,
              1.2481,
              1.5267
            ],
            [
              0.3057,
              0.7383,
              0.8247,
              0.938,
              1.0874,
              1.2843,
              1.5438
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05126,
              0.21252,
              0.25253,
              0.30237,
              0.36471,
              0.44269,
              0.53997
            ],
            [
              0.05351,
              0.21552,
              0.25553,
              0.30531,
              0.36769,
              0.4456,
              0.54301
            ],
            [
              0.05634,
              0.21902,
              0.25912,
              0.30901,
              0.37138,
              0.44935,
              0.54661
            ],
            [
              0.06084,
              0.22443,
              0.26447,
              0.31431,
              0.37674,
              0.45482,
              0.55219
            ],
            [
              0.06787,
              0.23209,
              0.27222,
              0.32224,
              0.38468,
              0.46268,
              0.56015
            ],
            [
              0.07895,
              0.24373,
              0.28387,
              0.33387,
              0.39648,
              0.47441,
              0.57189
            ],
            [
              0.09416,
              0.26103,
              0.30131,
              0.35128,
              0.41417,
              0.49233,
              0.58972
            ],
            [
              0.11198,
              0.28706,
              0.32752,
              0.37763,
              0.44026,
              0.51852,
              0.61623
            ],
            [
              0.13274,
              0.32639,
              0.3667,
              0.417,
              0.47967,
              0.558,
              0.65567
            ],
            [
              0.15667,
              0.38599,
              0.42625,
              0.47619,
              0.53912,
              0.6173,
              0.71499
            ],
            [
              0.18384,
              0.46832,
              0.51432,
              0.56612,
              0.62862,
              0.70682,
              0.80442
            ],
            [
              0.21417,
              0.56787,
              0.62457,
              0.68827,
              0.76047,
              0.84197,
              0.93927
            ],
            [
              0.2468,
              0.6864,
              0.7571,
              0.8364,
              0.9257,
              1.0254,
              1.138
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14868,
              0.48781,
              0.5705,
              0.67335,
              0.80185,
              0.96227,
              1.16237
            ],
            [
              0.15057,
              0.49051,
              0.57328,
              0.67623,
              0.8047,
              0.9652,
              1.16534
            ],
            [
              0.15297,
              0.4936,
              0.57642,
              0.67944,
              0.80792,
              0.96847,
              1.16862
            ],
            [
              0.15687,
              0.49819,
              0.58112,
              0.68414,
              0.81269,
              0.97328,
              1.17348
            ],
            [
              0.16306,
              0.50516,
              0.58814,
              0.69127,
              0.81992,
              0.98051,
              1.18071
            ],
            [
              0.17303,
              0.51572,
              0.59902,
              0.70226,
              0.83095,
              0.99172,
              1.19222
            ],
            [
              0.18886,
              0.53223,
              0.61525,
              0.7187,
              0.84766,
              1.00853,
              1.20903
            ],
            [
              0.21397,
              0.55686,
              0.64026,
              0.74381,
              0.87276,
              1.03386,
              1.23456
            ],
            [
              0.25448,
              0.59529,
              0.67876,
              0.78215,
              0.91095,
              1.07215,
              1.27295
            ],
            [
              0.31121,
              0.65339,
              0.73679,
              0.84049,
              0.96979,
              1.13099,
              1.33189
            ],
            [
              0.37884,
              0.74272,
              0.82512,
              0.92862,
              1.05782,
              1.21902,
              1.41982
            ],
            [
              0.45937,
              0.87817,
              0.96077,
              1.06387,
              1.19247,
              1.35317,
              1.55367
            ],
            [
              0.5545,
              1.0723,
              1.1644,
              1.2695,
              1.3971,
              1.5571,
              1.7569
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06566,
              0.2938,
              0.34786,
              0.415,
              0.49864,
              0.60362,
              0.73411
            ],
            [
              0.06567,
              0.29379,
              0.34787,
              0.41512,
              0.49879,
              0.60373,
              0.73398
            ],
            [
              0.06568,
              0.29379,
              0.34797,
              0.41508,
              0.49884,
              0.60357,
              0.73415
            ],
            [
              0.06567,
              0.29381,
              0.34784,
              0.41515,
              0.49881,
              0.60376,
              0.73434
            ],
            [
              0.06561,
              0.29379,
              0.34788,
              0.41504,
              0.49899,
              0.60371,
              0.73434
            ],
            [
              0.0679,
              0.2938,
              0.34785,
              0.41513,
              0.49885,
              0.60334,
              0.73449
            ],
            [
              0.07539,
              0.29377,
              0.34787,
              0.4151,
              0.4988,
              0.60384,
              0.73446
            ],
            [
              0.09202,
              0.29376,
              0.34785,
              0.41512,
              0.49879,
              0.60351,
              0.73433
            ],
            [
              0.11704,
              0.2977,
              0.34913,
              0.41511,
              0.49892,
              0.60343,
              0.73432
            ],
            [
              0.15076,
              0.31551,
              0.36217,
              0.42308,
              0.50178,
              0.60402,
              0.73433
            ],
            [
              0.19565,
              0.35723,
              0.39801,
              0.45217,
              0.52329,
              0.61692,
              0.7393
            ],
            [
              0.25393,
              0.432,
              0.4691,
              0.5163,
              0.5787,
              0.6621,
              0.7729
            ],
            [
              0.3298,
              0.5352,
              0.5775,
              0.6274,
              0.6862,
              0.7603,
              0.8568
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.1399,
              0.5934,
              0.70581,
              0.84642,
              1.02286,
              1.24299,
              1.51684
            ],
            [
              0.13995,
              0.5937,
              0.70629,
              0.84659,
              1.0223,
              1.24217,
              1.51653
            ],
            [
              0.14011,
              0.59335,
              0.70612,
              0.84671,
              1.02282,
              1.2418,
              1.51751
            ],
            [
              0.13977,
              0.59364,
              0.70612,
              0.84631,
              1.02185,
              1.24283,
              1.51804
            ],
            [
              0.13991,
              0.59354,
              0.70643,
              0.84641,
              1.02284,
              1.24319,
              1.51691
            ],
            [
              0.13964,
              0.5937,
              0.70667,
              0.84666,
              1.02273,
              1.24207,
              1.51698
            ],
            [
              0.13875,
              0.59379,
              0.70664,
              0.84662,
              1.02262,
              1.24202,
              1.51692
            ],
            [
              0.13768,
              0.59311,
              0.7068,
              0.84708,
              1.02209,
              1.2426,
              1.51601
            ],
            [
              0.14678,
              0.59304,
              0.70669,
              0.8474,
              1.02234,
              1.24207,
              1.51687
            ],
            [
              0.17282,
              0.59305,
              0.70622,
              0.84646,
              1.02325,
              1.24304,
              1.5166
            ],
            [
              0.20978,
              0.6005,
              0.7087,
              0.8464,
              1.023,
              1.2432,
              1.5175
            ],
            [
              0.2576,
              0.642,
              0.7397,
              0.8663,
              1.0295,
              1.2426,
              1.5172
            ],
            [
              0.3194,
              0.7365,
              0.8221,
              0.9355,
              1.0834,
              1.2791,
              1.5328
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05937,
              0.22072,
              0.26061,
              0.31029,
              0.37305,
              0.45091,
              0.54783
            ],
            [
              0.06213,
              0.22398,
              0.26399,
              0.31408,
              0.37605,
              0.45404,
              0.55134
            ],
            [
              0.06531,
              0.22791,
              0.26785,
              0.31773,
              0.38007,
              0.45824,
              0.55534
            ],
            [
              0.06989,
              0.23336,
              0.27326,
              0.32355,
              0.38601,
              0.46414,
              0.56117
            ],
            [
              0.07646,
              0.24083,
              0.28101,
              0.33067,
              0.3931,
              0.47174,
              0.569
            ],
            [
              0.08618,
              0.25133,
              0.29168,
              0.34162,
              0.40385,
              0.4825,
              0.58011
            ],
            [
              0.09976,
              0.26682,
              0.30703,
              0.35713,
              0.41992,
              0.49774,
              0.59524
            ],
            [
              0.1169,
              0.28961,
              0.32977,
              0.38038,
              0.44294,
              0.52099,
              0.61918
            ],
            [
              0.13897,
              0.32358,
              0.36412,
              0.41485,
              0.47732,
              0.55627,
              0.65353
            ],
            [
              0.16619,
              0.37502,
              0.41575,
              0.46623,
              0.52926,
              0.60833,
              0.70569
            ],
            [
              0.19842,
              0.44512,
              0.49032,
              0.54362,
              0.60712,
              0.68582,
              0.78422
            ],
            [
              0.23557,
              0.53617,
              0.58787,
              0.64807,
              0.71877,
              0.80217,
              0.90117
            ],
            [
              0.2777,
              0.6524,
              0.7135,
              0.7836,
              0.8647,
              0.9591,
              1.0693
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.07822,
              0.28547,
              0.33673,
              0.40067,
              0.48061,
              0.58058,
              0.70528
            ],
            [
              0.08037,
              0.28798,
              0.33934,
              0.40325,
              0.48322,
              0.58317,
              0.70792
            ],
            [
              0.08311,
              0.29119,
              0.34255,
              0.4065,
              0.4865,
              0.58646,
              0.71122
            ],
            [
              0.08762,
              0.29625,
              0.34769,
              0.41169,
              0.49164,
              0.59161,
              0.71637
            ],
            [
              0.09486,
              0.30406,
              0.35545,
              0.41948,
              0.49951,
              0.59953,
              0.72433
            ],
            [
              0.1064,
              0.31591,
              0.3674,
              0.43138,
              0.51143,
              0.61152,
              0.73635
            ],
            [
              0.12449,
              0.33411,
              0.38565,
              0.44977,
              0.52989,
              0.62998,
              0.75474
            ],
            [
              0.15151,
              0.36147,
              0.413,
              0.47718,
              0.5572,
              0.65731,
              0.78205
            ],
            [
              0.1837,
              0.40302,
              0.45423,
              0.51788,
              0.59795,
              0.69919,
              0.82405
            ],
            [
              0.22162,
              0.46627,
              0.51771,
              0.58178,
              0.66189,
              0.76199,
              0.88689
            ],
            [
              0.2655,
              0.56192,
              0.61312,
              0.67692,
              0.75682,
              0.85622,
              0.98092
            ],
            [
              0.31567,
              0.68997,
              0.75147,
              0.82057,
              0.90057,
              1.00017,
              1.12447
            ],
            [
              0.3728,
              0.8425,
              0.9204,
              1.0076,
              1.1054,
              1.2149,
              1.3399
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04056,
              0.25578,
              0.30966,
              0.37678,
              0.46131,
              0.56574,
              0.69684
            ],
            [
              0.04056,
              0.2561,
              0.31012,
              0.37651,
              0.46071,
              0.56568,
              0.69677
            ],
            [
              0.04058,
              0.25581,
              0.30968,
              0.37676,
              0.46065,
              0.56581,
              0.69682
            ],
            [
              0.04057,
              0.25619,
              0.30969,
              0.37723,
              0.46108,
              0.56605,
              0.69696
            ],
            [
              0.04059,
              0.25611,
              0.30972,
              0.37682,
              0.4607,
              0.56643,
              0.69681
            ],
            [
              0.04152,
              0.25585,
              0.30967,
              0.37677,
              0.46076,
              0.56673,
              0.69676
            ],
            [
              0.04588,
              0.25605,
              0.30971,
              0.37732,
              0.4608,
              0.56587,
              0.69681
            ],
            [
              0.05378,
              0.25575,
              0.30967,
              0.37703,
              0.46082,
              0.56572,
              0.69698
            ],
            [
              0.06474,
              0.25887,
              0.31128,
              0.3773,
              0.46075,
              0.56596,
              0.69704
            ],
            [
              0.08129,
              0.27014,
              0.31968,
              0.38296,
              0.46402,
              0.56675,
              0.69682
            ],
            [
              0.10527,
              0.29717,
              0.3426,
              0.40176,
              0.47804,
              0.57643,
              0.7019
            ],
            [
              0.13893,
              0.3448,
              0.3898,
              0.444,
              0.5142,
              0.6056,
              0.7244
            ],
            [
              0.1854,
              0.4135,
              0.4602,
              0.5164,
              0.5858,
              0.6704,
              0.7796
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0687,
              0.35715,
              0.42914,
              0.51888,
              0.63115,
              0.7712,
              0.94573
            ],
            [
              0.06872,
              0.35717,
              0.42919,
              0.5187,
              0.63103,
              0.77135,
              0.94594
            ],
            [
              0.06864,
              0.35709,
              0.42896,
              0.51874,
              0.6311,
              0.77136,
              0.94572
            ],
            [
              0.06859,
              0.35713,
              0.42918,
              0.51889,
              0.63099,
              0.77034,
              0.94643
            ],
            [
              0.06853,
              0.35718,
              0.42902,
              0.51881,
              0.63088,
              0.77085,
              0.94609
            ],
            [
              0.06806,
              0.35712,
              0.42896,
              0.51863,
              0.63093,
              0.77131,
              0.94598
            ],
            [
              0.07175,
              0.35719,
              0.42867,
              0.51877,
              0.63095,
              0.77091,
              0.9458
            ],
            [
              0.08326,
              0.35703,
              0.4289,
              0.51816,
              0.63054,
              0.77125,
              0.94642
            ],
            [
              0.10489,
              0.35692,
              0.42845,
              0.51868,
              0.63074,
              0.77115,
              0.94534
            ],
            [
              0.13129,
              0.36697,
              0.43327,
              0.51929,
              0.63064,
              0.77068,
              0.9459
            ],
            [
              0.16573,
              0.40075,
              0.45997,
              0.53779,
              0.6405,
              0.7736,
              0.9458
            ],
            [
              0.2092,
              0.4732,
              0.524,
              0.5918,
              0.682,
              0.8027,
              0.962
            ],
            [
              0.263,
              0.5927,
              0.645,
              0.7046,
              0.7834,
              0.8867,
              1.0281
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05942,
              0.22053,
              0.2608,
              0.31041,
              0.37299,
              0.45108,
              0.54783
            ],
            [
              0.06224,
              0.22417,
              0.26414,
              0.31386,
              0.37642,
              0.45414,
              0.55213
            ],
            [
              0.06549,
              0.22803,
              0.26801,
              0.31826,
              0.38033,
              0.45822,
              0.55617
            ],
            [
              0.0701,
              0.23353,
              0.27347,
              0.3236,
              0.38608,
              0.46374,
              0.56185
            ],
            [
              0.07671,
              0.24116,
              0.28119,
              0.33099,
              0.39385,
              0.47141,
              0.56952
            ],
            [
              0.08648,
              0.25176,
              0.29201,
              0.34192,
              0.40424,
              0.48286,
              0.57966
            ],
            [
              0.10008,
              0.26724,
              0.30738,
              0.35769,
              0.42033,
              0.49821,
              0.59565
            ],
            [
              0.11721,
              0.29009,
              0.3303,
              0.38084,
              0.44345,
              0.5218,
              0.61949
            ],
            [
              0.13926,
              0.32407,
              0.36478,
              0.41535,
              0.4779,
              0.55676,
              0.65397
            ],
            [
              0.16646,
              0.37548,
              0.41623,
              0.46678,
              0.52977,
              0.60885,
              0.70619
            ],
            [
              0.19865,
              0.44562,
              0.49082,
              0.54412,
              0.60752,
              0.68632,
              0.78482
            ],
            [
              0.23577,
              0.53657,
              0.58827,
              0.64857,
              0.71927,
              0.80267,
              0.90167
            ],
            [
              0.2777,
              0.6528,
              0.7139,
              0.784,
              0.8651,
              0.9595,
              1.0698
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.08718,
              0.32411,
              0.38286,
              0.45603,
              0.54751,
              0.6619,
              0.80454
            ],
            [
              0.0891,
              0.32655,
              0.3853,
              0.4584,
              0.54988,
              0.66433,
              0.80709
            ],
            [
              0.09159,
              0.32963,
              0.38837,
              0.4616,
              0.55311,
              0.6675,
              0.81023
            ],
            [
              0.09578,
              0.33448,
              0.39321,
              0.46646,
              0.55797,
              0.67243,
              0.81517
            ],
            [
              0.1026,
              0.34189,
              0.40072,
              0.47402,
              0.56561,
              0.68007,
              0.8228
            ],
            [
              0.11362,
              0.35332,
              0.41221,
              0.4855,
              0.57711,
              0.6917,
              0.83445
            ],
            [
              0.13109,
              0.37091,
              0.42991,
              0.50326,
              0.59486,
              0.70946,
              0.85228
            ],
            [
              0.15833,
              0.39707,
              0.45608,
              0.52955,
              0.62127,
              0.73585,
              0.87896
            ],
            [
              0.1916,
              0.43713,
              0.49614,
              0.56958,
              0.66129,
              0.77595,
              0.91905
            ],
            [
              0.23079,
              0.49887,
              0.55777,
              0.63119,
              0.72299,
              0.83759,
              0.98049
            ],
            [
              0.27618,
              0.59172,
              0.65002,
              0.72312,
              0.81452,
              0.92902,
              1.07192
            ],
            [
              0.32817,
              0.72307,
              0.78887,
              0.86347,
              0.95397,
              1.06807,
              1.21057
            ],
            [
              0.3874,
              0.8806,
              0.9632,
              1.0561,
              1.1608,
              1.2785,
              1.4205
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04056,
              0.25585,
              0.30963,
              0.37683,
              0.46148,
              0.56552,
              0.69695
            ],
            [
              0.04056,
              0.2558,
              0.30968,
              0.3768,
              0.46074,
              0.56576,
              0.69647
            ],
            [
              0.04053,
              0.25584,
              0.30971,
              0.37696,
              0.46078,
              0.56569,
              0.69646
            ],
            [
              0.04057,
              0.25606,
              0.30971,
              0.37675,
              0.46064,
              0.56576,
              0.69749
            ],
            [
              0.04058,
              0.25594,
              0.30966,
              0.37679,
              0.46054,
              0.56582,
              0.69796
            ],
            [
              0.04146,
              0.25611,
              0.30979,
              0.37681,
              0.46074,
              0.56529,
              0.69691
            ],
            [
              0.0458,
              0.25604,
              0.30972,
              0.37718,
              0.46083,
              0.56588,
              0.69676
            ],
            [
              0.05359,
              0.25576,
              0.30969,
              0.37711,
              0.46081,
              0.5666,
              0.69703
            ],
            [
              0.06459,
              0.25878,
              0.31111,
              0.37728,
              0.46078,
              0.56616,
              0.69704
            ],
            [
              0.08113,
              0.27002,
              0.31958,
              0.38259,
              0.46397,
              0.56681,
              0.6968
            ],
            [
              0.10511,
              0.29692,
              0.34247,
              0.40153,
              0.47781,
              0.57632,
              0.7018
            ],
            [
              0.1387,
              0.3446,
              0.3895,
              0.4438,
              0.5139,
              0.6055,
              0.7242
            ],
            [
              0.1853,
              0.4132,
              0.4599,
              0.5161,
              0.5856,
              0.6701,
              0.7793
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.0795,
              0.40817,
              0.4901,
              0.59201,
              0.71936,
              0.87856,
              1.07838
            ],
            [
              0.07951,
              0.40818,
              0.49007,
              0.59214,
              0.71963,
              0.87886,
              1.07774
            ],
            [
              0.07946,
              0.40815,
              0.49006,
              0.59198,
              0.71939,
              0.87936,
              1.07816
            ],
            [
              0.07924,
              0.40765,
              0.49007,
              0.59206,
              0.71954,
              0.87843,
              1.07789
            ],
            [
              0.07908,
              0.408,
              0.49008,
              0.59207,
              0.71947,
              0.87914,
              1.0783
            ],
            [
              0.07863,
              0.40814,
              0.49,
              0.59205,
              0.71972,
              0.87806,
              1.07837
            ],
            [
              0.08074,
              0.40797,
              0.48982,
              0.59214,
              0.71967,
              0.87947,
              1.07846
            ],
            [
              0.09096,
              0.4079,
              0.49006,
              0.59171,
              0.71941,
              0.8794,
              1.07824
            ],
            [
              0.11261,
              0.40788,
              0.4896,
              0.59154,
              0.71966,
              0.87937,
              1.07705
            ],
            [
              0.13895,
              0.41394,
              0.49181,
              0.59096,
              0.71876,
              0.87846,
              1.07868
            ],
            [
              0.1738,
              0.44279,
              0.51338,
              0.6048,
              0.7244,
              0.8796,
              1.0778
            ],
            [
              0.2178,
              0.5098,
              0.5706,
              0.6514,
              0.7599,
              0.9014,
              1.0866
            ],
            [
              0.2721,
              0.6282,
              0.6858,
              0.7562,
              0.8493,
              0.9749,
              1.1423
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05943,
              0.22053,
              0.26081,
              0.31048,
              0.37265,
              0.45112,
              0.54793
            ],
            [
              0.06223,
              0.22421,
              0.26417,
              0.31384,
              0.37654,
              0.45408,
              0.55216
            ],
            [
              0.06546,
              0.2281,
              0.26799,
              0.31822,
              0.38047,
              0.4582,
              0.55623
            ],
            [
              0.07007,
              0.23356,
              0.27347,
              0.3237,
              0.3861,
              0.46369,
              0.56107
            ],
            [
              0.07669,
              0.24114,
              0.28119,
              0.33097,
              0.39383,
              0.47142,
              0.56876
            ],
            [
              0.08646,
              0.25176,
              0.29198,
              0.34191,
              0.4042,
              0.48287,
              0.57977
            ],
            [
              0.10005,
              0.2672,
              0.30735,
              0.35733,
              0.42029,
              0.4982,
              0.59561
            ],
            [
              0.11718,
              0.29004,
              0.33026,
              0.3808,
              0.44341,
              0.52175,
              0.61944
            ],
            [
              0.13923,
              0.32402,
              0.36473,
              0.4153,
              0.47785,
              0.5567,
              0.65394
            ],
            [
              0.16643,
              0.37543,
              0.41617,
              0.46673,
              0.52972,
              0.6088,
              0.70619
            ],
            [
              0.19863,
              0.44552,
              0.49072,
              0.54402,
              0.60752,
              0.68622,
              0.78472
            ],
            [
              0.23577,
              0.53647,
              0.58827,
              0.64847,
              0.71927,
              0.80267,
              0.90157
            ],
            [
              0.2777,
              0.6528,
              0.7139,
              0.784,
              0.8651,
              0.9595,
              1.0698
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.08624,
              0.31969,
              0.37755,
              0.44964,
              0.53978,
              0.65251,
              0.79314
            ],
            [
              0.08818,
              0.32211,
              0.37994,
              0.45207,
              0.54224,
              0.65498,
              0.7956
            ],
            [
              0.0907,
              0.32522,
              0.38308,
              0.45523,
              0.54536,
              0.65816,
              0.7987
            ],
            [
              0.09492,
              0.33008,
              0.38804,
              0.46015,
              0.55027,
              0.66307,
              0.80373
            ],
            [
              0.10178,
              0.33759,
              0.39552,
              0.46774,
              0.55794,
              0.67078,
              0.81141
            ],
            [
              0.11286,
              0.34904,
              0.407,
              0.47922,
              0.56955,
              0.68243,
              0.82311
            ],
            [
              0.13039,
              0.36665,
              0.42483,
              0.49709,
              0.58744,
              0.70036,
              0.84104
            ],
            [
              0.15762,
              0.39294,
              0.45108,
              0.52346,
              0.61376,
              0.72674,
              0.86766
            ],
            [
              0.19076,
              0.43312,
              0.49123,
              0.56364,
              0.65401,
              0.76695,
              0.90795
            ],
            [
              0.22981,
              0.49514,
              0.55315,
              0.62542,
              0.71589,
              0.82879,
              0.96959
            ],
            [
              0.27503,
              0.58832,
              0.64572,
              0.71772,
              0.80782,
              0.92052,
              1.06142
            ],
            [
              0.32677,
              0.71937,
              0.78477,
              0.85857,
              0.94767,
              1.06007,
              1.20047
            ],
            [
              0.3858,
              0.8763,
              0.9584,
              1.0507,
              1.1545,
              1.2713,
              1.4111
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04053,
              0.25585,
              0.30982,
              0.3768,
              0.46071,
              0.56532,
              0.69698
            ],
            [
              0.04056,
              0.25614,
              0.30964,
              0.37679,
              0.46055,
              0.56581,
              0.69775
            ],
            [
              0.04057,
              0.25603,
              0.3097,
              0.37724,
              0.46072,
              0.56573,
              0.69661
            ],
            [
              0.04057,
              0.25597,
              0.30971,
              0.37727,
              0.46058,
              0.56579,
              0.6966
            ],
            [
              0.04059,
              0.25594,
              0.30964,
              0.37679,
              0.46067,
              0.56583,
              0.69663
            ],
            [
              0.04147,
              0.25607,
              0.30979,
              0.3768,
              0.46075,
              0.56569,
              0.69701
            ],
            [
              0.04581,
              0.25604,
              0.30972,
              0.37679,
              0.46085,
              0.56588,
              0.6968
            ],
            [
              0.05362,
              0.25576,
              0.30969,
              0.37711,
              0.46081,
              0.56661,
              0.69697
            ],
            [
              0.06462,
              0.25878,
              0.31112,
              0.37728,
              0.46077,
              0.56621,
              0.69709
            ],
            [
              0.08114,
              0.27003,
              0.31959,
              0.38255,
              0.46403,
              0.56677,
              0.69685
            ],
            [
              0.10513,
              0.29699,
              0.34244,
              0.4016,
              0.47788,
              0.57638,
              0.7019
            ],
            [
              0.13874,
              0.3447,
              0.3895,
              0.4438,
              0.5139,
              0.6054,
              0.7243
            ],
            [
              0.1854,
              0.4133,
              0.4599,
              0.5161,
              0.5856,
              0.6701,
              0.7794
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.07815,
              0.40218,
              0.48287,
              0.58347,
              0.70924,
              0.86603,
              1.06199
            ],
            [
              0.07824,
              0.4022,
              0.48289,
              0.58354,
              0.70902,
              0.86678,
              1.06267
            ],
            [
              0.07817,
              0.40212,
              0.48287,
              0.58357,
              0.7093,
              0.86556,
              1.06293
            ],
            [
              0.07797,
              0.40221,
              0.48293,
              0.5836,
              0.70928,
              0.86647,
              1.06168
            ],
            [
              0.07789,
              0.40221,
              0.48291,
              0.58353,
              0.70928,
              0.86609,
              1.0626
            ],
            [
              0.0774,
              0.4019,
              0.48266,
              0.58355,
              0.70929,
              0.86615,
              1.06264
            ],
            [
              0.07967,
              0.40199,
              0.4824,
              0.58356,
              0.70932,
              0.86654,
              1.06273
            ],
            [
              0.09002,
              0.40208,
              0.48276,
              0.58285,
              0.70947,
              0.86677,
              1.06316
            ],
            [
              0.11169,
              0.40186,
              0.48248,
              0.58335,
              0.70911,
              0.8668,
              1.06288
            ],
            [
              0.13809,
              0.40856,
              0.48502,
              0.58323,
              0.70856,
              0.86595,
              1.0632
            ],
            [
              0.1729,
              0.43805,
              0.50698,
              0.5965,
              0.7144,
              0.8673,
              1.0618
            ],
            [
              0.2168,
              0.5052,
              0.5654,
              0.6442,
              0.7506,
              0.8904,
              1.0724
            ],
            [
              0.2714,
              0.6241,
              0.6811,
              0.7501,
              0.8413,
              0.9649,
              1.1288
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05954,
              0.22075,
              0.26092,
              0.3104,
              0.37312,
              0.4509,
              0.54859
            ],
            [
              0.06243,
              0.22441,
              0.26411,
              0.31433,
              0.37643,
              0.45479,
              0.55183
            ],
            [
              0.06576,
              0.22846,
              0.26825,
              0.31848,
              0.38074,
              0.45883,
              0.55573
            ],
            [
              0.0705,
              0.23373,
              0.27387,
              0.32398,
              0.38649,
              0.46463,
              0.56171
            ],
            [
              0.07724,
              0.24144,
              0.28192,
              0.33173,
              0.39436,
              0.47209,
              0.56998
            ],
            [
              0.08708,
              0.25239,
              0.29265,
              0.34258,
              0.40526,
              0.48353,
              0.58056
            ],
            [
              0.10084,
              0.26811,
              0.30813,
              0.35861,
              0.42076,
              0.49952,
              0.59655
            ],
            [
              0.11803,
              0.29112,
              0.33126,
              0.38187,
              0.44438,
              0.52286,
              0.6204
            ],
            [
              0.14009,
              0.32519,
              0.36589,
              0.41648,
              0.47893,
              0.5579,
              0.65529
            ],
            [
              0.16726,
              0.37663,
              0.4174,
              0.46797,
              0.53116,
              0.61005,
              0.70739
            ],
            [
              0.19941,
              0.44682,
              0.49202,
              0.54532,
              0.60882,
              0.68752,
              0.78602
            ],
            [
              0.23637,
              0.53777,
              0.58957,
              0.64977,
              0.72057,
              0.80397,
              0.90297
            ],
            [
              0.2778,
              0.6538,
              0.715,
              0.7852,
              0.8664,
              0.9608,
              1.0711
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11145,
              0.43612,
              0.51674,
              0.61696,
              0.74231,
              0.89938,
              1.09537
            ],
            [
              0.11277,
              0.43829,
              0.51885,
              0.61915,
              0.74448,
              0.90163,
              1.09754
            ],
            [
              0.11469,
              0.44097,
              0.52155,
              0.62193,
              0.74756,
              0.9045,
              1.10042
            ],
            [
              0.11807,
              0.44536,
              0.52602,
              0.62642,
              0.75189,
              0.90902,
              1.10498
            ],
            [
              0.12388,
              0.45206,
              0.5328,
              0.6333,
              0.75881,
              0.91602,
              1.11191
            ],
            [
              0.13368,
              0.46239,
              0.54325,
              0.64387,
              0.76964,
              0.92677,
              1.12272
            ],
            [
              0.14962,
              0.47855,
              0.55942,
              0.66015,
              0.78579,
              0.94323,
              1.13923
            ],
            [
              0.17543,
              0.50262,
              0.5836,
              0.68444,
              0.81033,
              0.96776,
              1.16396
            ],
            [
              0.21212,
              0.53973,
              0.62073,
              0.72153,
              0.84765,
              1.00485,
              1.20125
            ],
            [
              0.25495,
              0.59653,
              0.67749,
              0.77819,
              0.90419,
              1.06149,
              1.25779
            ],
            [
              0.30468,
              0.68302,
              0.76362,
              0.86422,
              0.98982,
              1.14702,
              1.34322
            ],
            [
              0.36187,
              0.81467,
              0.89477,
              0.99467,
              1.11987,
              1.27667,
              1.47237
            ],
            [
              0.4275,
              0.986,
              1.0823,
              1.1916,
              1.3173,
              1.4734,
              1.6684
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.04045,
              0.25587,
              0.30993,
              0.37685,
              0.46099,
              0.5659,
              0.69778
            ],
            [
              0.0405,
              0.25592,
              0.3097,
              0.37682,
              0.46126,
              0.56639,
              0.69703
            ],
            [
              0.04052,
              0.25568,
              0.30965,
              0.37679,
              0.46138,
              0.56577,
              0.69695
            ],
            [
              0.04054,
              0.25571,
              0.30957,
              0.37683,
              0.46124,
              0.5662,
              0.69707
            ],
            [
              0.04047,
              0.25578,
              0.30965,
              0.37732,
              0.46096,
              0.56592,
              0.69752
            ],
            [
              0.04128,
              0.25583,
              0.31006,
              0.37685,
              0.46135,
              0.56585,
              0.69701
            ],
            [
              0.04549,
              0.25597,
              0.3097,
              0.37693,
              0.46077,
              0.56617,
              0.69708
            ],
            [
              0.0533,
              0.25574,
              0.30966,
              0.37705,
              0.46084,
              0.56654,
              0.69707
            ],
            [
              0.06418,
              0.25863,
              0.31103,
              0.37723,
              0.46074,
              0.56593,
              0.69707
            ],
            [
              0.08068,
              0.26975,
              0.31921,
              0.38242,
              0.46364,
              0.56679,
              0.69699
            ],
            [
              0.10452,
              0.2964,
              0.34204,
              0.40114,
              0.47747,
              0.57605,
              0.7017
            ],
            [
              0.13796,
              0.3439,
              0.3887,
              0.443,
              0.5133,
              0.605,
              0.7239
            ],
            [
              0.1846,
              0.4123,
              0.459,
              0.5154,
              0.5849,
              0.6693,
              0.7787
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11303,
              0.55983,
              0.67101,
              0.80925,
              0.98108,
              1.19855,
              1.46683
            ],
            [
              0.113,
              0.55975,
              0.67103,
              0.80912,
              0.98148,
              1.1983,
              1.46844
            ],
            [
              0.1129,
              0.5601,
              0.67091,
              0.80934,
              0.9815,
              1.19821,
              1.46845
            ],
            [
              0.11244,
              0.55964,
              0.67098,
              0.80908,
              0.98083,
              1.19807,
              1.46841
            ],
            [
              0.11208,
              0.55989,
              0.67075,
              0.80924,
              0.98106,
              1.19793,
              1.46847
            ],
            [
              0.11108,
              0.55991,
              0.67046,
              0.80887,
              0.98185,
              1.19745,
              1.4681
            ],
            [
              0.1101,
              0.55945,
              0.67104,
              0.80892,
              0.98195,
              1.19706,
              1.46792
            ],
            [
              0.11656,
              0.55972,
              0.67099,
              0.80861,
              0.98184,
              1.19702,
              1.46793
            ],
            [
              0.13432,
              0.55979,
              0.67069,
              0.80914,
              0.98096,
              1.19822,
              1.46864
            ],
            [
              0.16243,
              0.55891,
              0.67015,
              0.80911,
              0.9814,
              1.19763,
              1.46844
            ],
            [
              0.19689,
              0.57527,
              0.6784,
              0.8099,
              0.9813,
              1.1983,
              1.4685
            ],
            [
              0.2416,
              0.6271,
              0.7195,
              0.84,
              0.9975,
              1.2028,
              1.4673
            ],
            [
              0.2977,
              0.7331,
              0.8149,
              0.9214,
              1.0622,
              1.2501,
              1.4931
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.05993,
              0.22106,
              0.26104,
              0.31096,
              0.37328,
              0.45106,
              0.54851
            ],
            [
              0.06275,
              0.22453,
              0.2646,
              0.31446,
              0.37665,
              0.45474,
              0.55209
            ],
            [
              0.06598,
              0.22853,
              0.26852,
              0.31849,
              0.38085,
              0.45883,
              0.55613
            ],
            [
              0.07061,
              0.23402,
              0.27403,
              0.32399,
              0.38623,
              0.46436,
              0.56178
            ],
            [
              0.07721,
              0.24143,
              0.28158,
              0.33161,
              0.39389,
              0.47203,
              0.56951
            ],
            [
              0.08699,
              0.25211,
              0.29228,
              0.34238,
              0.40485,
              0.48291,
              0.58036
            ],
            [
              0.1007,
              0.26752,
              0.30781,
              0.3579,
              0.42044,
              0.49879,
              0.59628
            ],
            [
              0.11793,
              0.29041,
              0.33083,
              0.38114,
              0.44369,
              0.52195,
              0.61954
            ],
            [
              0.14014,
              0.32471,
              0.36526,
              0.41562,
              0.4784,
              0.55686,
              0.65449
            ],
            [
              0.16754,
              0.37617,
              0.41688,
              0.46743,
              0.53042,
              0.60897,
              0.70679
            ],
            [
              0.20007,
              0.44642,
              0.49152,
              0.54482,
              0.60832,
              0.68712,
              0.78512
            ],
            [
              0.23777,
              0.53747,
              0.58917,
              0.64947,
              0.72017,
              0.80357,
              0.90247
            ],
            [
              0.2803,
              0.6539,
              0.715,
              0.7851,
              0.8662,
              0.9606,
              1.0708
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.11189,
              0.34986,
              0.40861,
              0.48175,
              0.57314,
              0.68741,
              0.82993
            ],
            [
              0.11395,
              0.35229,
              0.41105,
              0.48419,
              0.57558,
              0.68988,
              0.83246
            ],
            [
              0.11669,
              0.35536,
              0.41419,
              0.48736,
              0.57872,
              0.69304,
              0.8356
            ],
            [
              0.12111,
              0.3602,
              0.41902,
              0.49223,
              0.58366,
              0.69798,
              0.84056
            ],
            [
              0.12813,
              0.36771,
              0.42659,
              0.49985,
              0.59138,
              0.7057,
              0.8482
            ],
            [
              0.13918,
              0.37917,
              0.43808,
              0.51136,
              0.60293,
              0.71732,
              0.85989
            ],
            [
              0.15638,
              0.39685,
              0.45584,
              0.52919,
              0.62068,
              0.73511,
              0.87779
            ],
            [
              0.18327,
              0.42308,
              0.48208,
              0.5555,
              0.64717,
              0.76165,
              0.90446
            ],
            [
              0.22314,
              0.4632,
              0.52221,
              0.59563,
              0.68729,
              0.80185,
              0.94465
            ],
            [
              0.27096,
              0.52502,
              0.58394,
              0.65729,
              0.74889,
              0.86349,
              1.00619
            ],
            [
              0.32741,
              0.61752,
              0.67622,
              0.74932,
              0.84082,
              0.95512,
              1.09782
            ],
            [
              0.39267,
              0.75357,
              0.81667,
              0.88987,
              0.98037,
              1.09437,
              1.23667
            ],
            [
              0.4677,
              0.9193,
              0.9984,
              1.088,
              1.1894,
              1.305,
              1.4469
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06022,
              0.2753,
              0.32891,
              0.39583,
              0.48,
              0.58449,
              0.71539
            ],
            [
              0.06022,
              0.27521,
              0.32894,
              0.39602,
              0.47942,
              0.58443,
              0.71548
            ],
            [
              0.06021,
              0.27521,
              0.32886,
              0.3959,
              0.48001,
              0.58478,
              0.7154
            ],
            [
              0.06021,
              0.27522,
              0.32895,
              0.39602,
              0.47941,
              0.58445,
              0.71554
            ],
            [
              0.06024,
              0.27528,
              0.32882,
              0.39617,
              0.47968,
              0.5846,
              0.71539
            ],
            [
              0.06113,
              0.27524,
              0.32892,
              0.39577,
              0.47991,
              0.58427,
              0.71559
            ],
            [
              0.06539,
              0.27519,
              0.32883,
              0.39579,
              0.47978,
              0.58454,
              0.71515
            ],
            [
              0.07482,
              0.27532,
              0.32892,
              0.39598,
              0.47962,
              0.58446,
              0.71551
            ],
            [
              0.08855,
              0.27851,
              0.33034,
              0.39596,
              0.47977,
              0.58424,
              0.71545
            ],
            [
              0.10856,
              0.28988,
              0.33918,
              0.40208,
              0.48286,
              0.5855,
              0.71558
            ],
            [
              0.13737,
              0.31671,
              0.36195,
              0.42082,
              0.4972,
              0.59511,
              0.7201
            ],
            [
              0.1784,
              0.3658,
              0.4093,
              0.4628,
              0.5328,
              0.6244,
              0.7433
            ],
            [
              0.2353,
              0.4371,
              0.4822,
              0.5375,
              0.6052,
              0.6893,
              0.7973
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.09705,
              0.42635,
              0.50823,
              0.61027,
              0.73784,
              0.89744,
              1.09633
            ],
            [
              0.09698,
              0.42637,
              0.50821,
              0.61015,
              0.73783,
              0.89706,
              1.09573
            ],
            [
              0.09701,
              0.42637,
              0.50822,
              0.61015,
              0.73793,
              0.89725,
              1.09607
            ],
            [
              0.09675,
              0.42583,
              0.50823,
              0.61016,
              0.73782,
              0.89677,
              1.09553
            ],
            [
              0.0967,
              0.42635,
              0.50822,
              0.61027,
              0.73763,
              0.89689,
              1.09641
            ],
            [
              0.09664,
              0.42635,
              0.50829,
              0.61032,
              0.73765,
              0.89647,
              1.09635
            ],
            [
              0.09611,
              0.4259,
              0.50816,
              0.61034,
              0.73788,
              0.89759,
              1.09638
            ],
            [
              0.10172,
              0.42591,
              0.50751,
              0.61013,
              0.73763,
              0.8974,
              1.09625
            ],
            [
              0.11849,
              0.4257,
              0.50825,
              0.60961,
              0.73779,
              0.89747,
              1.09521
            ],
            [
              0.14745,
              0.42917,
              0.50856,
              0.60997,
              0.73732,
              0.8967,
              1.09665
            ],
            [
              0.18386,
              0.45437,
              0.52653,
              0.6195,
              0.7397,
              0.8973,
              1.0951
            ],
            [
              0.2309,
              0.5161,
              0.5799,
              0.662,
              0.7719,
              0.9159,
              1.1031
            ],
            [
              0.2901,
              0.633,
              0.6902,
              0.7626,
              0.8583,
              0.9857,
              1.1529
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06004,
              0.22114,
              0.26113,
              0.31094,
              0.37327,
              0.45115,
              0.54853
            ],
            [
              0.06292,
              0.22467,
              0.26468,
              0.31451,
              0.37689,
              0.45484,
              0.55212
            ],
            [
              0.06627,
              0.22873,
              0.26883,
              0.31861,
              0.38095,
              0.45891,
              0.55626
            ],
            [
              0.071,
              0.23431,
              0.27441,
              0.32423,
              0.38661,
              0.46466,
              0.562
            ],
            [
              0.07773,
              0.24198,
              0.28208,
              0.33209,
              0.39453,
              0.47249,
              0.56994
            ],
            [
              0.08762,
              0.25276,
              0.293,
              0.34294,
              0.4054,
              0.48361,
              0.58094
            ],
            [
              0.10144,
              0.26836,
              0.30872,
              0.35881,
              0.4213,
              0.49956,
              0.59701
            ],
            [
              0.11872,
              0.29144,
              0.33182,
              0.3821,
              0.44469,
              0.52291,
              0.62048
            ],
            [
              0.14094,
              0.32582,
              0.36636,
              0.41673,
              0.47956,
              0.55795,
              0.65555
            ],
            [
              0.16832,
              0.3773,
              0.41804,
              0.46861,
              0.53157,
              0.61013,
              0.70799
            ],
            [
              0.20082,
              0.44762,
              0.49282,
              0.54602,
              0.60952,
              0.68832,
              0.78642
            ],
            [
              0.23827,
              0.53867,
              0.59037,
              0.65067,
              0.72137,
              0.80477,
              0.90377
            ],
            [
              0.2805,
              0.655,
              0.7161,
              0.7862,
              0.8674,
              0.9618,
              1.072
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.14586,
              0.47131,
              0.55173,
              0.65195,
              0.77717,
              0.93372,
              1.12927
            ],
            [
              0.14743,
              0.47341,
              0.55391,
              0.65414,
              0.77925,
              0.93606,
              1.13124
            ],
            [
              0.14968,
              0.47616,
              0.5567,
              0.65687,
              0.78231,
              0.93892,
              1.13412
            ],
            [
              0.15341,
              0.48062,
              0.5612,
              0.66144,
              0.7866,
              0.94346,
              1.13868
            ],
            [
              0.15949,
              0.48736,
              0.568,
              0.66837,
              0.79359,
              0.95047,
              1.14591
            ],
            [
              0.1693,
              0.49778,
              0.57863,
              0.67897,
              0.80427,
              0.96122,
              1.15652
            ],
            [
              0.1849,
              0.514,
              0.59477,
              0.6953,
              0.82069,
              0.97773,
              1.17303
            ],
            [
              0.20965,
              0.53819,
              0.61904,
              0.71975,
              0.84516,
              1.00236,
              1.19786
            ],
            [
              0.249,
              0.57537,
              0.65625,
              0.75695,
              0.88265,
              1.03955,
              1.23535
            ],
            [
              0.30125,
              0.63219,
              0.71309,
              0.81369,
              0.93919,
              1.09629,
              1.29209
            ],
            [
              0.36278,
              0.71872,
              0.79932,
              0.89962,
              1.02512,
              1.18192,
              1.37762
            ],
            [
              0.43437,
              0.85037,
              0.93027,
              1.03017,
              1.15517,
              1.31167,
              1.50697
            ],
            [
              0.5168,
              1.0303,
              1.1227,
              1.2283,
              1.3527,
              1.5085,
              1.7031
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06016,
              0.27522,
              0.32896,
              0.3958,
              0.47988,
              0.58426,
              0.71557
            ],
            [
              0.06017,
              0.27517,
              0.32886,
              0.39584,
              0.47983,
              0.5844,
              0.71545
            ],
            [
              0.06016,
              0.27529,
              0.32891,
              0.39594,
              0.47969,
              0.58431,
              0.71523
            ],
            [
              0.06017,
              0.27519,
              0.32892,
              0.39588,
              0.47964,
              0.58477,
              0.7156
            ],
            [
              0.06019,
              0.27518,
              0.32884,
              0.39615,
              0.47973,
              0.58431,
              0.71565
            ],
            [
              0.061,
              0.2753,
              0.32924,
              0.39587,
              0.47981,
              0.58469,
              0.7155
            ],
            [
              0.06513,
              0.27529,
              0.32916,
              0.39615,
              0.4796,
              0.58457,
              0.71557
            ],
            [
              0.07438,
              0.27531,
              0.32894,
              0.39614,
              0.47953,
              0.58478,
              0.71546
            ],
            [
              0.08805,
              0.27824,
              0.33023,
              0.39606,
              0.47986,
              0.58493,
              0.71556
            ],
            [
              0.10802,
              0.28957,
              0.33892,
              0.40192,
              0.48233,
              0.58509,
              0.71599
            ],
            [
              0.13679,
              0.3161,
              0.36145,
              0.42064,
              0.49698,
              0.59485,
              0.7201
            ],
            [
              0.17756,
              0.3649,
              0.4085,
              0.4621,
              0.5321,
              0.6242,
              0.7429
            ],
            [
              0.2346,
              0.4363,
              0.4814,
              0.5364,
              0.6047,
              0.6884,
              0.7968
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.1375,
              0.58425,
              0.69491,
              0.83318,
              1.00565,
              1.22102,
              1.49003
            ],
            [
              0.13745,
              0.58429,
              0.69514,
              0.83326,
              1.00523,
              1.22177,
              1.48974
            ],
            [
              0.13749,
              0.58422,
              0.69526,
              0.83287,
              1.00554,
              1.22188,
              1.49007
            ],
            [
              0.13722,
              0.58405,
              0.69515,
              0.83331,
              1.00501,
              1.22161,
              1.48961
            ],
            [
              0.13695,
              0.58405,
              0.69498,
              0.83342,
              1.00568,
              1.22134,
              1.49154
            ],
            [
              0.13658,
              0.584,
              0.69486,
              0.83318,
              1.00551,
              1.22111,
              1.48995
            ],
            [
              0.13552,
              0.58381,
              0.69453,
              0.83317,
              1.00569,
              1.22087,
              1.49014
            ],
            [
              0.13634,
              0.58413,
              0.69438,
              0.83254,
              1.00578,
              1.22071,
              1.49025
            ],
            [
              0.14797,
              0.58414,
              0.69476,
              0.83311,
              1.00499,
              1.22155,
              1.49107
            ],
            [
              0.17621,
              0.58316,
              0.69444,
              0.83306,
              1.00556,
              1.22059,
              1.49127
            ],
            [
              0.21194,
              0.5954,
              0.6993,
              0.8328,
              1.0054,
              1.2217,
              1.4906
            ],
            [
              0.2598,
              0.6414,
              0.7354,
              0.8581,
              1.0176,
              1.2243,
              1.4904
            ],
            [
              0.3209,
              0.7416,
              0.8254,
              0.934,
              1.0787,
              1.2669,
              1.5132
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06002,
              0.22114,
              0.26108,
              0.31089,
              0.37332,
              0.45122,
              0.54859
            ],
            [
              0.06292,
              0.22466,
              0.2647,
              0.31449,
              0.37685,
              0.45487,
              0.55212
            ],
            [
              0.06625,
              0.22873,
              0.26882,
              0.31862,
              0.38093,
              0.45888,
              0.55668
            ],
            [
              0.07097,
              0.23431,
              0.27438,
              0.32432,
              0.38666,
              0.4647,
              0.56198
            ],
            [
              0.0777,
              0.24196,
              0.28204,
              0.33204,
              0.3945,
              0.47249,
              0.56994
            ],
            [
              0.08758,
              0.25274,
              0.29299,
              0.34291,
              0.40535,
              0.48359,
              0.5809
            ],
            [
              0.10139,
              0.26833,
              0.30859,
              0.35869,
              0.42131,
              0.49957,
              0.59695
            ],
            [
              0.11867,
              0.29134,
              0.33175,
              0.38206,
              0.4447,
              0.52289,
              0.62052
            ],
            [
              0.14086,
              0.32573,
              0.3663,
              0.41665,
              0.47945,
              0.55789,
              0.65559
            ],
            [
              0.16824,
              0.37721,
              0.41795,
              0.46852,
              0.53148,
              0.61004,
              0.70789
            ],
            [
              0.20074,
              0.44752,
              0.49272,
              0.54592,
              0.60942,
              0.68822,
              0.78632
            ],
            [
              0.23817,
              0.53857,
              0.59027,
              0.65057,
              0.72127,
              0.80467,
              0.90367
            ],
            [
              0.2804,
              0.6549,
              0.716,
              0.7861,
              0.8673,
              0.9617,
              1.0719
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.16939,
              0.4918,
              0.5708,
              0.669,
              0.79164,
              0.94486,
              1.13597
            ],
            [
              0.17108,
              0.49392,
              0.57294,
              0.67127,
              0.79391,
              0.94717,
              1.13824
            ],
            [
              0.17341,
              0.4967,
              0.57581,
              0.67409,
              0.79678,
              0.95006,
              1.14112
            ],
            [
              0.17736,
              0.50116,
              0.58027,
              0.67861,
              0.80137,
              0.95459,
              1.14577
            ],
            [
              0.18373,
              0.50808,
              0.58724,
              0.68562,
              0.8084,
              0.96161,
              1.15281
            ],
            [
              0.19382,
              0.51867,
              0.59787,
              0.69635,
              0.8191,
              0.97252,
              1.16372
            ],
            [
              0.20966,
              0.53501,
              0.61429,
              0.71276,
              0.83565,
              0.98913,
              1.18033
            ],
            [
              0.23416,
              0.55943,
              0.6388,
              0.73737,
              0.86036,
              1.01396,
              1.20536
            ],
            [
              0.27264,
              0.59689,
              0.67626,
              0.77495,
              0.89795,
              1.05165,
              1.24315
            ],
            [
              0.33069,
              0.65429,
              0.73369,
              0.83199,
              0.95499,
              1.10859,
              1.30009
            ],
            [
              0.40094,
              0.74102,
              0.82012,
              0.91852,
              1.04142,
              1.19492,
              1.38622
            ],
            [
              0.48327,
              0.87317,
              0.95177,
              1.04977,
              1.17227,
              1.32537,
              1.51647
            ],
            [
              0.5785,
              1.0591,
              1.1476,
              1.2493,
              1.3708,
              1.5233,
              1.7137
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.06568,
              0.29379,
              0.34785,
              0.41514,
              0.49886,
              0.60361,
              0.73434
            ],
            [
              0.06569,
              0.29379,
              0.34789,
              0.41515,
              0.49876,
              0.60358,
              0.73396
            ],
            [
              0.0657,
              0.29379,
              0.34796,
              0.41513,
              0.49855,
              0.60334,
              0.73421
            ],
            [
              0.06571,
              0.29377,
              0.34791,
              0.41519,
              0.49864,
              0.60382,
              0.73445
            ],
            [
              0.06573,
              0.29376,
              0.34786,
              0.41506,
              0.49886,
              0.60338,
              0.73399
            ],
            [
              0.06653,
              0.29377,
              0.34791,
              0.41517,
              0.49856,
              0.60382,
              0.73424
            ],
            [
              0.0707,
              0.29378,
              0.34786,
              0.41515,
              0.4987,
              0.60354,
              0.73422
            ],
            [
              0.08082,
              0.29375,
              0.34786,
              0.41513,
              0.49862,
              0.60374,
              0.73433
            ],
            [
              0.09882,
              0.29685,
              0.34916,
              0.4152,
              0.49861,
              0.6038,
              0.73423
            ],
            [
              0.12378,
              0.30814,
              0.35786,
              0.42121,
              0.50142,
              0.60407,
              0.73437
            ],
            [
              0.15853,
              0.33443,
              0.38036,
              0.43975,
              0.51578,
              0.61385,
              0.7389
            ],
            [
              0.20605,
              0.3849,
              0.4279,
              0.4811,
              0.5514,
              0.6432,
              0.7618
            ],
            [
              0.2715,
              0.4587,
              0.5027,
              0.557,
              0.624,
              0.7073,
              0.816
            ]
          ]
        },
        "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.00907,
            0.01134,
            0.01417,
            0.01771,
            0.02214,
            0.02767
          ],
          "values": [
            [
              0.15592,
              0.59279,
              0.70113,
              0.83687,
              1.0058,
              1.21706,
              1.48008
            ],
            [
              0.15579,
              0.59256,
              0.70135,
              0.83691,
              1.00568,
              1.21633,
              1.48037
            ],
            [
              0.15586,
              0.59264,
              0.70157,
              0.83653,
              1.00498,
              1.21653,
              1.48049
            ],
            [
              0.15588,
              0.5929,
              0.70168,
              0.83666,
              1.00584,
              1.21702,
              1.48026
            ],
            [
              0.15582,
              0.59284,
              0.70144,
              0.8368,
              1.00584,
              1.217,
              1.48046
            ],
            [
              0.15566,
              0.59325,
              0.70101,
              0.83671,
              1.0056,
              1.21707,
              1.47971
            ],
            [
              0.15491,
              0.59326,
              0.7009,
              0.83583,
              1.00565,
              1.21708,
              1.47969
            ],
            [
              0.15328,
              0.5933,
              0.70122,
              0.83586,
              1.00543,
              1.21694,
              1.47948
            ],
            [
              0.16033,
              0.59318,
              0.70171,
              0.83623,
              1.00555,
              1.21597,
              1.48028
            ],
            [
              0.18298,
              0.59206,
              0.70158,
              0.83685,
              1.00583,
              1.2161,
              1.47932
            ],
            [
              0.22128,
              0.6012,
              0.7043,
              0.8365,
              1.0055,
              1.2163,
              1.4796
            ],
            [
              0.2701,
              0.6432,
              0.7372,
              0.8584,
              1.0147,
              1.2183,
              1.4801
            ],
            [
              0.334,
              0.7401,
              0.8234,
              0.9317,
              1.073,
              1.2585,
              1.5006
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}