{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_ms__a32oi",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00319,
    "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.00825,
          0.0082,
          0.00814,
          0.00812,
          0.00813,
          0.00813,
          0.00812,
          0.00811,
          0.00813,
          0.0088,
          0.00885,
          0.00966,
          0.00999
        ]
      },
      "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.0049,
          0.00478,
          0.00483,
          0.00485,
          0.00486,
          0.00493,
          0.00494,
          0.00493,
          0.00488,
          0.00516,
          0.00493,
          0.00495,
          0.0046
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00321,
    "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.00825,
          0.00822,
          0.00815,
          0.00814,
          0.00811,
          0.00811,
          0.00811,
          0.0081,
          0.00811,
          0.00878,
          0.00883,
          0.00964,
          0.01016
        ]
      },
      "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.00496,
          0.00503,
          0.00491,
          0.00495,
          0.00492,
          0.00499,
          0.00501,
          0.005,
          0.00493,
          0.00522,
          0.00499,
          0.00502,
          0.00464
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00307,
    "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.00829,
          0.00822,
          0.00812,
          0.00812,
          0.00814,
          0.00811,
          0.0081,
          0.0081,
          0.00811,
          0.00878,
          0.00883,
          0.00966,
          0.01001
        ]
      },
      "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.005,
          0.00507,
          0.00492,
          0.00503,
          0.005,
          0.00506,
          0.00509,
          0.00507,
          0.00499,
          0.00528,
          0.00503,
          0.00509,
          0.00475
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00346,
    "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.00506,
          0.00513,
          0.00501,
          0.00515,
          0.00516,
          0.0052,
          0.00522,
          0.00521,
          0.00515,
          0.00549,
          0.00532,
          0.0056,
          0.00571
        ]
      },
      "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.00838,
          0.00836,
          0.00826,
          0.00823,
          0.00823,
          0.00822,
          0.00822,
          0.00822,
          0.00821,
          0.00887,
          0.00887,
          0.00961,
          0.00995
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00306,
    "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.00442,
          0.00466,
          0.00458,
          0.00456,
          0.00458,
          0.00463,
          0.00465,
          0.00464,
          0.00456,
          0.0048,
          0.00454,
          0.00456,
          0.00451
        ]
      },
      "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.00816,
          0.00832,
          0.00817,
          0.00821,
          0.00822,
          0.0082,
          0.00821,
          0.0082,
          0.00821,
          0.00891,
          0.00901,
          0.00995,
          0.0105
        ]
      }
    },
    "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.00735,
              0.00538,
              0.00338,
              -0.00059,
              -0.00853,
              -0.02443,
              -0.05626
            ],
            [
              0.00737,
              0.0054,
              0.0034,
              -0.00057,
              -0.00851,
              -0.02441,
              -0.05624
            ],
            [
              0.00745,
              0.00547,
              0.00348,
              -0.00051,
              -0.00845,
              -0.02435,
              -0.05618
            ],
            [
              0.00753,
              0.00554,
              0.00354,
              -0.00044,
              -0.00839,
              -0.0243,
              -0.05613
            ],
            [
              0.00763,
              0.00563,
              0.00363,
              -0.00037,
              -0.00832,
              -0.02423,
              -0.05607
            ],
            [
              0.00774,
              0.00574,
              0.00373,
              -0.00027,
              -0.00825,
              -0.02416,
              -0.05601
            ],
            [
              0.00788,
              0.00585,
              0.00384,
              -0.00018,
              -0.00816,
              -0.0241,
              -0.05595
            ],
            [
              0.00801,
              0.00598,
              0.00395,
              -8e-05,
              -0.00808,
              -0.02403,
              -0.0559
            ],
            [
              0.0081,
              0.00608,
              0.00405,
              1e-05,
              -0.008,
              -0.02397,
              -0.05585
            ],
            [
              0.00813,
              0.00612,
              0.0041,
              7e-05,
              -0.00794,
              -0.02391,
              -0.05581
            ],
            [
              0.00799,
              0.00601,
              0.00401,
              1e-05,
              -0.00797,
              -0.02394,
              -0.05581
            ],
            [
              0.00762,
              0.00568,
              0.00373,
              -0.00021,
              -0.00813,
              -0.02403,
              -0.05586
            ],
            [
              0.00683,
              0.00495,
              0.00304,
              -0.00081,
              -0.00862,
              -0.02438,
              -0.05609
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02804,
              0.03007,
              0.03207,
              0.03604,
              0.04391,
              0.05962,
              0.09109
            ],
            [
              0.02797,
              0.03003,
              0.03205,
              0.03604,
              0.04392,
              0.05968,
              0.09112
            ],
            [
              0.02789,
              0.02997,
              0.03201,
              0.036,
              0.0439,
              0.05964,
              0.09118
            ],
            [
              0.0278,
              0.02988,
              0.03194,
              0.03596,
              0.04389,
              0.05963,
              0.09113
            ],
            [
              0.0277,
              0.02979,
              0.03185,
              0.03588,
              0.04383,
              0.05959,
              0.09113
            ],
            [
              0.02758,
              0.02967,
              0.03174,
              0.0358,
              0.04377,
              0.05955,
              0.09111
            ],
            [
              0.02748,
              0.02955,
              0.03161,
              0.03569,
              0.0437,
              0.05952,
              0.09108
            ],
            [
              0.02741,
              0.02944,
              0.0315,
              0.03556,
              0.04359,
              0.05944,
              0.09106
            ],
            [
              0.02731,
              0.02936,
              0.03139,
              0.03544,
              0.04343,
              0.05934,
              0.091
            ],
            [
              0.0273,
              0.0293,
              0.0313,
              0.03534,
              0.04332,
              0.05921,
              0.09087
            ],
            [
              0.02735,
              0.02933,
              0.03132,
              0.03528,
              0.04324,
              0.0591,
              0.09078
            ],
            [
              0.02745,
              0.02943,
              0.03143,
              0.03537,
              0.04323,
              0.05904,
              0.0906
            ],
            [
              0.02778,
              0.02972,
              0.0317,
              0.03562,
              0.04345,
              0.05905,
              0.09056
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0074,
              0.00542,
              0.00343,
              -0.00054,
              -0.00848,
              -0.0244,
              -0.05625
            ],
            [
              0.00745,
              0.00547,
              0.00348,
              -0.00049,
              -0.00843,
              -0.02434,
              -0.05617
            ],
            [
              0.0075,
              0.00552,
              0.00352,
              -0.00046,
              -0.00839,
              -0.02429,
              -0.05612
            ],
            [
              0.00755,
              0.00557,
              0.00358,
              -0.00041,
              -0.00835,
              -0.02425,
              -0.05608
            ],
            [
              0.00764,
              0.00565,
              0.00365,
              -0.00034,
              -0.00828,
              -0.02419,
              -0.05603
            ],
            [
              0.00774,
              0.00575,
              0.00374,
              -0.00026,
              -0.00822,
              -0.02413,
              -0.05597
            ],
            [
              0.00786,
              0.00586,
              0.00385,
              -0.00016,
              -0.00814,
              -0.02407,
              -0.05592
            ],
            [
              0.008,
              0.00598,
              0.00396,
              -6e-05,
              -0.00806,
              -0.024,
              -0.05587
            ],
            [
              0.00812,
              0.0061,
              0.00407,
              4e-05,
              -0.00797,
              -0.02393,
              -0.05582
            ],
            [
              0.00821,
              0.00619,
              0.00417,
              0.00014,
              -0.00788,
              -0.02386,
              -0.05576
            ],
            [
              0.00819,
              0.00619,
              0.00417,
              0.00016,
              -0.00785,
              -0.02383,
              -0.05573
            ],
            [
              0.00799,
              0.00602,
              0.00403,
              4e-05,
              -0.00792,
              -0.02386,
              -0.05574
            ],
            [
              0.00743,
              0.00551,
              0.00356,
              -0.00036,
              -0.00824,
              -0.02408,
              -0.05588
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03064,
              0.03265,
              0.03464,
              0.03857,
              0.04645,
              0.06212,
              0.09359
            ],
            [
              0.03062,
              0.03261,
              0.0346,
              0.03855,
              0.04642,
              0.06212,
              0.09356
            ],
            [
              0.03057,
              0.03256,
              0.03457,
              0.03853,
              0.04643,
              0.0621,
              0.09356
            ],
            [
              0.03049,
              0.0325,
              0.03451,
              0.03848,
              0.04637,
              0.06208,
              0.09362
            ],
            [
              0.0304,
              0.03242,
              0.03444,
              0.03844,
              0.04635,
              0.06205,
              0.09356
            ],
            [
              0.03031,
              0.03234,
              0.03437,
              0.03835,
              0.04629,
              0.06203,
              0.09348
            ],
            [
              0.03021,
              0.03223,
              0.03427,
              0.03829,
              0.04621,
              0.06202,
              0.09355
            ],
            [
              0.03011,
              0.03214,
              0.03418,
              0.0382,
              0.04618,
              0.06196,
              0.0935
            ],
            [
              0.03004,
              0.03205,
              0.03409,
              0.03808,
              0.04607,
              0.06188,
              0.09344
            ],
            [
              0.03002,
              0.03202,
              0.03402,
              0.03803,
              0.04599,
              0.0618,
              0.09339
            ],
            [
              0.03005,
              0.03202,
              0.034,
              0.03795,
              0.04593,
              0.06174,
              0.09328
            ],
            [
              0.03016,
              0.03214,
              0.03412,
              0.03806,
              0.04589,
              0.06168,
              0.09321
            ],
            [
              0.03047,
              0.03243,
              0.0344,
              0.03833,
              0.04614,
              0.06175,
              0.09319
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.00754,
              0.00557,
              0.00358,
              -0.00039,
              -0.00833,
              -0.02423,
              -0.05606
            ],
            [
              0.00759,
              0.00561,
              0.00361,
              -0.00036,
              -0.0083,
              -0.02419,
              -0.05602
            ],
            [
              0.00766,
              0.00568,
              0.00369,
              -0.00029,
              -0.00823,
              -0.02413,
              -0.05596
            ],
            [
              0.00772,
              0.00574,
              0.00374,
              -0.00023,
              -0.00818,
              -0.02408,
              -0.0559
            ],
            [
              0.0078,
              0.00581,
              0.00381,
              -0.00017,
              -0.00812,
              -0.02403,
              -0.05585
            ],
            [
              0.0079,
              0.00591,
              0.0039,
              -0.0001,
              -0.00805,
              -0.02397,
              -0.05581
            ],
            [
              0.00802,
              0.00601,
              0.004,
              -1e-05,
              -0.00798,
              -0.02391,
              -0.05576
            ],
            [
              0.00815,
              0.00613,
              0.00411,
              9e-05,
              -0.0079,
              -0.02384,
              -0.0557
            ],
            [
              0.00827,
              0.00625,
              0.00422,
              0.0002,
              -0.00781,
              -0.02377,
              -0.05565
            ],
            [
              0.00835,
              0.00634,
              0.00432,
              0.00029,
              -0.00773,
              -0.0237,
              -0.0556
            ],
            [
              0.00834,
              0.00633,
              0.00432,
              0.00031,
              -0.0077,
              -0.02367,
              -0.05557
            ],
            [
              0.00812,
              0.00615,
              0.00416,
              0.00017,
              -0.00779,
              -0.02372,
              -0.0556
            ],
            [
              0.00754,
              0.00561,
              0.00365,
              -0.00027,
              -0.00815,
              -0.02399,
              -0.05578
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03318,
              0.03514,
              0.03713,
              0.04108,
              0.04894,
              0.06465,
              0.09604
            ],
            [
              0.03314,
              0.03512,
              0.03709,
              0.04103,
              0.04892,
              0.06459,
              0.09604
            ],
            [
              0.03312,
              0.03509,
              0.03707,
              0.04102,
              0.04889,
              0.0646,
              0.09597
            ],
            [
              0.03306,
              0.03505,
              0.03703,
              0.04098,
              0.04885,
              0.06453,
              0.09598
            ],
            [
              0.03303,
              0.03501,
              0.03699,
              0.04095,
              0.04881,
              0.06453,
              0.09597
            ],
            [
              0.03298,
              0.03496,
              0.03696,
              0.04092,
              0.04878,
              0.0645,
              0.09597
            ],
            [
              0.03292,
              0.03491,
              0.03691,
              0.04088,
              0.04879,
              0.06449,
              0.09598
            ],
            [
              0.03287,
              0.03486,
              0.03686,
              0.04084,
              0.04873,
              0.06451,
              0.09596
            ],
            [
              0.03283,
              0.03481,
              0.03681,
              0.0408,
              0.0487,
              0.06444,
              0.0959
            ],
            [
              0.03283,
              0.03481,
              0.0368,
              0.04078,
              0.04866,
              0.06446,
              0.09589
            ],
            [
              0.03287,
              0.03484,
              0.03681,
              0.04074,
              0.04865,
              0.06443,
              0.09589
            ],
            [
              0.03303,
              0.03499,
              0.03697,
              0.04089,
              0.04872,
              0.06443,
              0.09582
            ],
            [
              0.0334,
              0.03536,
              0.03733,
              0.04123,
              0.04903,
              0.06457,
              0.09601
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.00278,
              0.00069,
              -0.00136,
              -0.00539,
              -0.01339,
              -0.02932,
              -0.06117
            ],
            [
              0.00287,
              0.00075,
              -0.00132,
              -0.00539,
              -0.01339,
              -0.02937,
              -0.06122
            ],
            [
              0.00294,
              0.00082,
              -0.00127,
              -0.00536,
              -0.01338,
              -0.02935,
              -0.06121
            ],
            [
              0.00307,
              0.0009,
              -0.0012,
              -0.0053,
              -0.01335,
              -0.02933,
              -0.06121
            ],
            [
              0.0032,
              0.00102,
              -0.0011,
              -0.00523,
              -0.01331,
              -0.02932,
              -0.0612
            ],
            [
              0.00332,
              0.00115,
              -0.00098,
              -0.00513,
              -0.01325,
              -0.02928,
              -0.06119
            ],
            [
              0.00344,
              0.00128,
              -0.00085,
              -0.00502,
              -0.01316,
              -0.02922,
              -0.06116
            ],
            [
              0.00351,
              0.00138,
              -0.00073,
              -0.00489,
              -0.01306,
              -0.02916,
              -0.06112
            ],
            [
              0.0035,
              0.00142,
              -0.00066,
              -0.00479,
              -0.01296,
              -0.02908,
              -0.06107
            ],
            [
              0.00335,
              0.00135,
              -0.00068,
              -0.00476,
              -0.01289,
              -0.02902,
              -0.06103
            ],
            [
              0.00301,
              0.00109,
              -0.00089,
              -0.00488,
              -0.01293,
              -0.02902,
              -0.06101
            ],
            [
              0.00235,
              0.00052,
              -0.00139,
              -0.00527,
              -0.01315,
              -0.0291,
              -0.06105
            ],
            [
              0.00133,
              -0.00051,
              -0.00232,
              -0.00606,
              -0.01376,
              -0.0295,
              -0.0613
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.01406,
              0.01611,
              0.01818,
              0.02217,
              0.03009,
              0.04586,
              0.07734
            ],
            [
              0.01395,
              0.01605,
              0.01812,
              0.02211,
              0.03005,
              0.04582,
              0.07734
            ],
            [
              0.01383,
              0.01596,
              0.01802,
              0.02207,
              0.03003,
              0.04582,
              0.07735
            ],
            [
              0.01371,
              0.01586,
              0.01792,
              0.022,
              0.02999,
              0.04578,
              0.07732
            ],
            [
              0.01359,
              0.01573,
              0.01782,
              0.0219,
              0.02989,
              0.04573,
              0.07731
            ],
            [
              0.01349,
              0.01561,
              0.0177,
              0.02179,
              0.02982,
              0.04569,
              0.07726
            ],
            [
              0.01342,
              0.01551,
              0.01757,
              0.02166,
              0.02968,
              0.04561,
              0.07718
            ],
            [
              0.01342,
              0.01546,
              0.0175,
              0.02155,
              0.02957,
              0.04548,
              0.07711
            ],
            [
              0.01353,
              0.01548,
              0.01749,
              0.02149,
              0.02947,
              0.04538,
              0.07697
            ],
            [
              0.01376,
              0.01567,
              0.01761,
              0.02154,
              0.02945,
              0.04527,
              0.0769
            ],
            [
              0.01413,
              0.01603,
              0.01795,
              0.02179,
              0.02959,
              0.04529,
              0.07683
            ],
            [
              0.01478,
              0.01663,
              0.01853,
              0.02233,
              0.02995,
              0.0455,
              0.07695
            ],
            [
              0.01587,
              0.01764,
              0.01948,
              0.02323,
              0.03078,
              0.04604,
              0.07721
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.00287,
              0.00081,
              -0.00123,
              -0.00525,
              -0.01324,
              -0.02917,
              -0.06101
            ],
            [
              0.00294,
              0.00085,
              -0.00121,
              -0.00525,
              -0.01326,
              -0.02921,
              -0.06106
            ],
            [
              0.003,
              0.00088,
              -0.00119,
              -0.00526,
              -0.01326,
              -0.02924,
              -0.06109
            ],
            [
              0.00314,
              0.00098,
              -0.00111,
              -0.00522,
              -0.01325,
              -0.02923,
              -0.06109
            ],
            [
              0.00327,
              0.00109,
              -0.00103,
              -0.00514,
              -0.01322,
              -0.02921,
              -0.0611
            ],
            [
              0.00341,
              0.00123,
              -0.0009,
              -0.00505,
              -0.01315,
              -0.02918,
              -0.06108
            ],
            [
              0.00355,
              0.00138,
              -0.00076,
              -0.00492,
              -0.01306,
              -0.02912,
              -0.06105
            ],
            [
              0.00365,
              0.00151,
              -0.00061,
              -0.00478,
              -0.01295,
              -0.02905,
              -0.06101
            ],
            [
              0.00368,
              0.00159,
              -0.0005,
              -0.00465,
              -0.01283,
              -0.02895,
              -0.06095
            ],
            [
              0.00361,
              0.00157,
              -0.00049,
              -0.00459,
              -0.01273,
              -0.02886,
              -0.06089
            ],
            [
              0.00336,
              0.00138,
              -0.00063,
              -0.00466,
              -0.01273,
              -0.02882,
              -0.06085
            ],
            [
              0.00279,
              0.00089,
              -0.00105,
              -0.00498,
              -0.01292,
              -0.0289,
              -0.06088
            ],
            [
              0.0017,
              -8e-05,
              -0.00193,
              -0.00572,
              -0.01348,
              -0.02926,
              -0.06108
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.01651,
              0.01854,
              0.02054,
              0.02449,
              0.03239,
              0.04809,
              0.07956
            ],
            [
              0.01646,
              0.01846,
              0.02046,
              0.02446,
              0.03235,
              0.04807,
              0.07955
            ],
            [
              0.01639,
              0.0184,
              0.02042,
              0.02441,
              0.03231,
              0.04804,
              0.07954
            ],
            [
              0.0163,
              0.01834,
              0.02037,
              0.02436,
              0.03228,
              0.04804,
              0.07953
            ],
            [
              0.01623,
              0.01827,
              0.0203,
              0.02431,
              0.03223,
              0.04802,
              0.0795
            ],
            [
              0.01616,
              0.01821,
              0.02023,
              0.02425,
              0.03217,
              0.04798,
              0.07944
            ],
            [
              0.0161,
              0.01813,
              0.02016,
              0.02416,
              0.03209,
              0.0479,
              0.07941
            ],
            [
              0.0161,
              0.0181,
              0.02011,
              0.02411,
              0.03204,
              0.04784,
              0.07939
            ],
            [
              0.01621,
              0.01817,
              0.02015,
              0.02411,
              0.03203,
              0.0478,
              0.07931
            ],
            [
              0.01647,
              0.01839,
              0.02032,
              0.02422,
              0.03207,
              0.04781,
              0.07927
            ],
            [
              0.01692,
              0.01881,
              0.02072,
              0.02454,
              0.0323,
              0.04793,
              0.0793
            ],
            [
              0.01769,
              0.01955,
              0.02144,
              0.02522,
              0.0328,
              0.04826,
              0.0795
            ],
            [
              0.01892,
              0.02071,
              0.02255,
              0.02628,
              0.03379,
              0.04894,
              0.07997
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.03249,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.10211,
              0.12026,
              0.13788,
              0.17199,
              0.23813,
              0.36762,
              0.62345
            ],
            [
              0.10418,
              0.12234,
              0.13999,
              0.1741,
              0.24028,
              0.3697,
              0.62564
            ],
            [
              0.10677,
              0.12497,
              0.14263,
              0.17675,
              0.24299,
              0.37239,
              0.62832
            ],
            [
              0.1108,
              0.12906,
              0.14674,
              0.18094,
              0.24716,
              0.3767,
              0.63255
            ],
            [
              0.11698,
              0.1353,
              0.15306,
              0.1873,
              0.25362,
              0.38323,
              0.6391
            ],
            [
              0.12648,
              0.14489,
              0.16268,
              0.19702,
              0.26344,
              0.39313,
              0.64924
            ],
            [
              0.14114,
              0.15954,
              0.17735,
              0.2118,
              0.27834,
              0.40814,
              0.66429
            ],
            [
              0.16423,
              0.18212,
              0.19991,
              0.23437,
              0.30097,
              0.43084,
              0.68722
            ],
            [
              0.19582,
              0.21609,
              0.23469,
              0.26873,
              0.33532,
              0.46529,
              0.72156
            ],
            [
              0.2334,
              0.25746,
              0.27948,
              0.31899,
              0.3876,
              0.51743,
              0.77369
            ],
            [
              0.27727,
              0.30602,
              0.3324,
              0.37951,
              0.46082,
              0.59592,
              0.85202
            ],
            [
              0.32757,
              0.36217,
              0.39387,
              0.45097,
              0.54827,
              0.70837,
              0.97097
            ],
            [
              0.3842,
              0.4257,
              0.464,
              0.5328,
              0.6507,
              0.8433,
              1.1471
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11578,
              0.13962,
              0.1629,
              0.20874,
              0.29923,
              0.47897,
              0.83863
            ],
            [
              0.11823,
              0.14237,
              0.16585,
              0.21186,
              0.30252,
              0.4824,
              0.84215
            ],
            [
              0.1213,
              0.14556,
              0.16929,
              0.21548,
              0.30625,
              0.48667,
              0.84605
            ],
            [
              0.12607,
              0.15055,
              0.17436,
              0.22076,
              0.31182,
              0.49216,
              0.8521
            ],
            [
              0.13358,
              0.15814,
              0.18196,
              0.2287,
              0.32004,
              0.50095,
              0.86057
            ],
            [
              0.14528,
              0.16974,
              0.19371,
              0.24043,
              0.33209,
              0.51293,
              0.87332
            ],
            [
              0.16279,
              0.1871,
              0.21098,
              0.25793,
              0.3498,
              0.53087,
              0.89153
            ],
            [
              0.18804,
              0.21236,
              0.23617,
              0.28311,
              0.3749,
              0.55678,
              0.91746
            ],
            [
              0.21968,
              0.2479,
              0.27283,
              0.31973,
              0.41155,
              0.59363,
              0.95495
            ],
            [
              0.25608,
              0.28984,
              0.31994,
              0.37271,
              0.46569,
              0.64759,
              1.00909
            ],
            [
              0.29615,
              0.33864,
              0.37531,
              0.43865,
              0.54502,
              0.72832,
              1.09092
            ],
            [
              0.33777,
              0.39237,
              0.43887,
              0.51737,
              0.64497,
              0.84957,
              1.21207
            ],
            [
              0.3797,
              0.4495,
              0.5088,
              0.6081,
              0.7656,
              1.0099,
              1.395
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09378,
              0.11623,
              0.13857,
              0.18282,
              0.27106,
              0.44647,
              0.79886
            ],
            [
              0.09378,
              0.11612,
              0.13858,
              0.18291,
              0.27081,
              0.44671,
              0.79808
            ],
            [
              0.0937,
              0.1162,
              0.13858,
              0.18292,
              0.27068,
              0.4465,
              0.79827
            ],
            [
              0.0938,
              0.11626,
              0.13857,
              0.18277,
              0.27091,
              0.44696,
              0.79784
            ],
            [
              0.09384,
              0.11623,
              0.1385,
              0.18291,
              0.27092,
              0.44694,
              0.79872
            ],
            [
              0.09351,
              0.11625,
              0.13864,
              0.18268,
              0.27101,
              0.4469,
              0.79825
            ],
            [
              0.0932,
              0.11547,
              0.13787,
              0.18275,
              0.27102,
              0.44686,
              0.79779
            ],
            [
              0.09854,
              0.1193,
              0.14039,
              0.18297,
              0.27077,
              0.44685,
              0.79835
            ],
            [
              0.11314,
              0.13253,
              0.15173,
              0.19127,
              0.27338,
              0.44683,
              0.79837
            ],
            [
              0.13298,
              0.15565,
              0.17629,
              0.21339,
              0.28885,
              0.45047,
              0.79814
            ],
            [
              0.16119,
              0.18715,
              0.21056,
              0.25256,
              0.32582,
              0.47477,
              0.8021
            ],
            [
              0.1997,
              0.23,
              0.257,
              0.3045,
              0.3871,
              0.5297,
              0.8314
            ],
            [
              0.251,
              0.2872,
              0.3191,
              0.375,
              0.4693,
              0.6267,
              0.9074
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08753,
              0.11903,
              0.1507,
              0.21372,
              0.33922,
              0.58887,
              1.08757
            ],
            [
              0.08768,
              0.11906,
              0.15055,
              0.21372,
              0.33925,
              0.58825,
              1.08764
            ],
            [
              0.08782,
              0.11888,
              0.15049,
              0.21371,
              0.33925,
              0.58963,
              1.08726
            ],
            [
              0.08792,
              0.11902,
              0.15049,
              0.21371,
              0.33927,
              0.58928,
              1.0891
            ],
            [
              0.08803,
              0.11908,
              0.15069,
              0.21373,
              0.33922,
              0.5895,
              1.08716
            ],
            [
              0.08812,
              0.11915,
              0.15056,
              0.21378,
              0.33927,
              0.58866,
              1.08907
            ],
            [
              0.08852,
              0.11938,
              0.15088,
              0.21354,
              0.33906,
              0.58876,
              1.08718
            ],
            [
              0.09189,
              0.12073,
              0.15148,
              0.21392,
              0.33918,
              0.58952,
              1.08791
            ],
            [
              0.10457,
              0.13059,
              0.15853,
              0.21681,
              0.33942,
              0.58874,
              1.08822
            ],
            [
              0.13077,
              0.15531,
              0.17966,
              0.23228,
              0.34619,
              0.58898,
              1.08837
            ],
            [
              0.16775,
              0.19465,
              0.22105,
              0.26979,
              0.3713,
              0.5983,
              1.0879
            ],
            [
              0.2206,
              0.2502,
              0.2792,
              0.3326,
              0.4299,
              0.6339,
              1.0959
            ],
            [
              0.294,
              0.3276,
              0.3602,
              0.4198,
              0.5267,
              0.7162,
              1.1389
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07763,
              0.09668,
              0.11486,
              0.14961,
              0.21634,
              0.34625,
              0.60226
            ],
            [
              0.07963,
              0.09869,
              0.11688,
              0.15164,
              0.21839,
              0.34825,
              0.60433
            ],
            [
              0.08213,
              0.10124,
              0.11943,
              0.15421,
              0.22097,
              0.35086,
              0.60698
            ],
            [
              0.08606,
              0.10522,
              0.12345,
              0.15827,
              0.22507,
              0.35501,
              0.61111
            ],
            [
              0.09216,
              0.11138,
              0.12967,
              0.16454,
              0.23143,
              0.36141,
              0.61761
            ],
            [
              0.10167,
              0.12092,
              0.13925,
              0.17418,
              0.24115,
              0.37121,
              0.62752
            ],
            [
              0.11696,
              0.13568,
              0.15395,
              0.18895,
              0.25602,
              0.3862,
              0.64265
            ],
            [
              0.13972,
              0.15929,
              0.17694,
              0.2116,
              0.27857,
              0.40884,
              0.66539
            ],
            [
              0.16688,
              0.18993,
              0.21048,
              0.24666,
              0.31313,
              0.4433,
              0.69982
            ],
            [
              0.19871,
              0.22615,
              0.25065,
              0.29355,
              0.36577,
              0.49556,
              0.75199
            ],
            [
              0.23523,
              0.26821,
              0.29767,
              0.34915,
              0.4352,
              0.57462,
              0.83062
            ],
            [
              0.27657,
              0.31607,
              0.35167,
              0.41387,
              0.51767,
              0.68337,
              0.94937
            ],
            [
              0.3222,
              0.3697,
              0.4125,
              0.4876,
              0.6132,
              0.8135,
              1.124
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.13031,
              0.16089,
              0.19106,
              0.2503,
              0.368,
              0.60165,
              1.07087
            ],
            [
              0.13246,
              0.16365,
              0.19396,
              0.25327,
              0.37131,
              0.60585,
              1.07304
            ],
            [
              0.13524,
              0.16653,
              0.19724,
              0.25686,
              0.37509,
              0.60952,
              1.07802
            ],
            [
              0.1397,
              0.17122,
              0.20203,
              0.26205,
              0.38018,
              0.61567,
              1.08418
            ],
            [
              0.1469,
              0.17849,
              0.20948,
              0.26981,
              0.38841,
              0.62406,
              1.09281
            ],
            [
              0.15827,
              0.1897,
              0.22066,
              0.28134,
              0.40006,
              0.6362,
              1.10502
            ],
            [
              0.17503,
              0.2065,
              0.23734,
              0.29795,
              0.41738,
              0.653,
              1.12193
            ],
            [
              0.19889,
              0.23011,
              0.26085,
              0.32158,
              0.44102,
              0.67781,
              1.14766
            ],
            [
              0.22917,
              0.26332,
              0.29442,
              0.35477,
              0.47405,
              0.71084,
              1.18075
            ],
            [
              0.26305,
              0.30266,
              0.33862,
              0.40281,
              0.52213,
              0.75879,
              1.22899
            ],
            [
              0.30132,
              0.34817,
              0.38992,
              0.46412,
              0.59252,
              0.82912,
              1.30052
            ],
            [
              0.34207,
              0.39977,
              0.44997,
              0.53727,
              0.68537,
              0.93427,
              1.40557
            ],
            [
              0.3843,
              0.4565,
              0.5185,
              0.6239,
              0.7979,
              1.0827,
              1.5638
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08188,
              0.10349,
              0.12539,
              0.16892,
              0.25626,
              0.43117,
              0.78204
            ],
            [
              0.08184,
              0.10354,
              0.12525,
              0.16904,
              0.256,
              0.43138,
              0.78272
            ],
            [
              0.08174,
              0.10348,
              0.12534,
              0.16901,
              0.25607,
              0.4316,
              0.78275
            ],
            [
              0.08149,
              0.10335,
              0.12529,
              0.16888,
              0.25629,
              0.43104,
              0.78279
            ],
            [
              0.08068,
              0.10304,
              0.12505,
              0.16884,
              0.25627,
              0.43144,
              0.78273
            ],
            [
              0.07899,
              0.10164,
              0.12457,
              0.16874,
              0.2563,
              0.43151,
              0.78258
            ],
            [
              0.08089,
              0.1021,
              0.12383,
              0.16798,
              0.25606,
              0.43147,
              0.7817
            ],
            [
              0.08895,
              0.10837,
              0.1284,
              0.1697,
              0.25562,
              0.43151,
              0.78259
            ],
            [
              0.10315,
              0.12419,
              0.1425,
              0.18022,
              0.26019,
              0.43116,
              0.7819
            ],
            [
              0.12248,
              0.14604,
              0.16728,
              0.20495,
              0.27816,
              0.43736,
              0.78207
            ],
            [
              0.14979,
              0.17688,
              0.20083,
              0.24343,
              0.31751,
              0.46267,
              0.7871
            ],
            [
              0.18691,
              0.2189,
              0.2466,
              0.2954,
              0.3783,
              0.5212,
              0.8176
            ],
            [
              0.2361,
              0.2747,
              0.3078,
              0.3649,
              0.4602,
              0.6183,
              0.8978
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08818,
              0.12926,
              0.17065,
              0.25283,
              0.41652,
              0.74296,
              1.39849
            ],
            [
              0.08821,
              0.12933,
              0.1705,
              0.25281,
              0.41661,
              0.74424,
              1.39531
            ],
            [
              0.08827,
              0.12937,
              0.17053,
              0.25278,
              0.41651,
              0.74393,
              1.39884
            ],
            [
              0.08833,
              0.12937,
              0.17059,
              0.25283,
              0.41663,
              0.74373,
              1.39881
            ],
            [
              0.0885,
              0.12943,
              0.17024,
              0.25269,
              0.41676,
              0.74322,
              1.39885
            ],
            [
              0.08849,
              0.12957,
              0.17076,
              0.25257,
              0.41662,
              0.74332,
              1.39887
            ],
            [
              0.08907,
              0.1294,
              0.1708,
              0.25273,
              0.41611,
              0.74425,
              1.39558
            ],
            [
              0.09138,
              0.13045,
              0.17138,
              0.25249,
              0.41594,
              0.74341,
              1.39914
            ],
            [
              0.10289,
              0.13865,
              0.17666,
              0.25451,
              0.41658,
              0.74364,
              1.39564
            ],
            [
              0.12391,
              0.15903,
              0.1935,
              0.26676,
              0.42016,
              0.74367,
              1.39695
            ],
            [
              0.15149,
              0.19061,
              0.22781,
              0.29643,
              0.43952,
              0.7477,
              1.3979
            ],
            [
              0.1934,
              0.235,
              0.2751,
              0.3492,
              0.4857,
              0.7729,
              1.3998
            ],
            [
              0.2532,
              0.2993,
              0.3431,
              0.4231,
              0.5683,
              0.8373,
              1.4282
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0814,
              0.1002,
              0.11825,
              0.15291,
              0.21966,
              0.34987,
              0.60661
            ],
            [
              0.08338,
              0.1022,
              0.12025,
              0.15492,
              0.22174,
              0.35181,
              0.60868
            ],
            [
              0.08587,
              0.10471,
              0.12281,
              0.15748,
              0.22426,
              0.3544,
              0.61128
            ],
            [
              0.08982,
              0.10872,
              0.12682,
              0.16154,
              0.22836,
              0.35859,
              0.61542
            ],
            [
              0.09592,
              0.11488,
              0.13303,
              0.16782,
              0.23471,
              0.36494,
              0.62188
            ],
            [
              0.10537,
              0.1244,
              0.14262,
              0.17747,
              0.24445,
              0.37477,
              0.63177
            ],
            [
              0.12039,
              0.13911,
              0.15731,
              0.19223,
              0.25935,
              0.38979,
              0.6469
            ],
            [
              0.14351,
              0.16263,
              0.18018,
              0.21491,
              0.28195,
              0.41247,
              0.66971
            ],
            [
              0.17146,
              0.19393,
              0.21411,
              0.24986,
              0.31651,
              0.44704,
              0.7042
            ],
            [
              0.20439,
              0.23108,
              0.25513,
              0.2975,
              0.36918,
              0.49929,
              0.75639
            ],
            [
              0.24238,
              0.27445,
              0.30331,
              0.35411,
              0.43944,
              0.57842,
              0.83502
            ],
            [
              0.28577,
              0.32407,
              0.35897,
              0.42017,
              0.52307,
              0.68807,
              0.95397
            ],
            [
              0.3342,
              0.3803,
              0.422,
              0.4959,
              0.6203,
              0.8196,
              1.1292
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.15541,
              0.18528,
              0.21487,
              0.27314,
              0.38842,
              0.61808,
              1.07687
            ],
            [
              0.1581,
              0.18821,
              0.21786,
              0.27626,
              0.39178,
              0.6216,
              1.08084
            ],
            [
              0.16125,
              0.19153,
              0.22131,
              0.27987,
              0.39557,
              0.62553,
              1.08472
            ],
            [
              0.166,
              0.19642,
              0.22636,
              0.2852,
              0.40111,
              0.63126,
              1.09058
            ],
            [
              0.17334,
              0.20391,
              0.23397,
              0.29301,
              0.40923,
              0.63966,
              1.09921
            ],
            [
              0.18459,
              0.21518,
              0.24538,
              0.30463,
              0.42118,
              0.6519,
              1.11172
            ],
            [
              0.20121,
              0.23172,
              0.26198,
              0.32134,
              0.43813,
              0.66926,
              1.12943
            ],
            [
              0.22497,
              0.25532,
              0.28541,
              0.3449,
              0.46187,
              0.69347,
              1.15366
            ],
            [
              0.2578,
              0.28882,
              0.31893,
              0.37819,
              0.49511,
              0.72696,
              1.18805
            ],
            [
              0.29673,
              0.33246,
              0.36579,
              0.42622,
              0.54309,
              0.77499,
              1.23619
            ],
            [
              0.34189,
              0.38347,
              0.42169,
              0.49112,
              0.61372,
              0.84562,
              1.30752
            ],
            [
              0.39307,
              0.44317,
              0.48847,
              0.56947,
              0.70997,
              0.95117,
              1.41287
            ],
            [
              0.449,
              0.5112,
              0.5665,
              0.6635,
              0.8277,
              1.1019,
              1.5717
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.1054,
              0.12625,
              0.14751,
              0.19064,
              0.27754,
              0.4524,
              0.80195
            ],
            [
              0.10537,
              0.12619,
              0.14744,
              0.1905,
              0.27725,
              0.45235,
              0.80292
            ],
            [
              0.10528,
              0.12615,
              0.14741,
              0.1905,
              0.27701,
              0.45235,
              0.80249
            ],
            [
              0.10516,
              0.12607,
              0.14737,
              0.19051,
              0.27761,
              0.45192,
              0.80196
            ],
            [
              0.1045,
              0.12585,
              0.14719,
              0.19053,
              0.27761,
              0.45218,
              0.80314
            ],
            [
              0.10291,
              0.12464,
              0.14685,
              0.19036,
              0.27713,
              0.45226,
              0.80306
            ],
            [
              0.10455,
              0.12499,
              0.14612,
              0.18966,
              0.2774,
              0.45193,
              0.80294
            ],
            [
              0.11253,
              0.13114,
              0.15052,
              0.19118,
              0.27675,
              0.45197,
              0.80244
            ],
            [
              0.12959,
              0.14684,
              0.16468,
              0.20205,
              0.28105,
              0.45172,
              0.80236
            ],
            [
              0.15275,
              0.17285,
              0.19188,
              0.22672,
              0.29914,
              0.45806,
              0.80291
            ],
            [
              0.18544,
              0.20805,
              0.22922,
              0.26827,
              0.33877,
              0.48358,
              0.8073
            ],
            [
              0.22972,
              0.2561,
              0.2803,
              0.3244,
              0.4027,
              0.542,
              0.8381
            ],
            [
              0.2885,
              0.32,
              0.3484,
              0.3997,
              0.4886,
              0.6413,
              0.9174
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11148,
              0.15232,
              0.19329,
              0.27446,
              0.43684,
              0.76025,
              1.40886
            ],
            [
              0.1112,
              0.15234,
              0.19336,
              0.2749,
              0.43693,
              0.75991,
              1.40752
            ],
            [
              0.11124,
              0.1524,
              0.19333,
              0.2749,
              0.43693,
              0.76005,
              1.40797
            ],
            [
              0.11156,
              0.15239,
              0.19336,
              0.27465,
              0.43684,
              0.76057,
              1.40874
            ],
            [
              0.1115,
              0.15237,
              0.19336,
              0.27489,
              0.43679,
              0.7602,
              1.40747
            ],
            [
              0.11155,
              0.15243,
              0.19337,
              0.27481,
              0.4368,
              0.7611,
              1.40735
            ],
            [
              0.11163,
              0.15252,
              0.19328,
              0.27466,
              0.43694,
              0.76125,
              1.40879
            ],
            [
              0.11288,
              0.15301,
              0.19367,
              0.27482,
              0.43695,
              0.7605,
              1.4078
            ],
            [
              0.12104,
              0.15828,
              0.19683,
              0.27572,
              0.43723,
              0.76072,
              1.40887
            ],
            [
              0.1413,
              0.17548,
              0.21132,
              0.28568,
              0.43998,
              0.75993,
              1.40754
            ],
            [
              0.17027,
              0.20836,
              0.24457,
              0.3122,
              0.45725,
              0.7645,
              1.4087
            ],
            [
              0.2131,
              0.2538,
              0.2929,
              0.3657,
              0.5007,
              0.7885,
              1.4097
            ],
            [
              0.2754,
              0.3202,
              0.3624,
              0.4399,
              0.583,
              0.8504,
              1.4358
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11459,
              0.13274,
              0.15037,
              0.18448,
              0.2506,
              0.38008,
              0.63594
            ],
            [
              0.11698,
              0.13513,
              0.15278,
              0.18687,
              0.25301,
              0.38249,
              0.63833
            ],
            [
              0.11984,
              0.13801,
              0.15566,
              0.18977,
              0.25595,
              0.3854,
              0.64128
            ],
            [
              0.12394,
              0.14214,
              0.15981,
              0.19396,
              0.26016,
              0.38964,
              0.64558
            ],
            [
              0.1298,
              0.14806,
              0.16576,
              0.19996,
              0.26623,
              0.39576,
              0.65166
            ],
            [
              0.13841,
              0.15675,
              0.17452,
              0.2088,
              0.27514,
              0.40478,
              0.66087
            ],
            [
              0.15135,
              0.16975,
              0.18758,
              0.22196,
              0.28846,
              0.41825,
              0.67446
            ],
            [
              0.17142,
              0.18959,
              0.20739,
              0.24186,
              0.30855,
              0.4385,
              0.69484
            ],
            [
              0.19828,
              0.21833,
              0.23718,
              0.272,
              0.33873,
              0.46896,
              0.72554
            ],
            [
              0.23236,
              0.25485,
              0.27585,
              0.31454,
              0.38428,
              0.51471,
              0.77159
            ],
            [
              0.27438,
              0.30038,
              0.32449,
              0.3685,
              0.44652,
              0.58352,
              0.84082
            ],
            [
              0.32407,
              0.35507,
              0.38357,
              0.43517,
              0.52517,
              0.67897,
              0.94447
            ],
            [
              0.3808,
              0.4184,
              0.4529,
              0.5149,
              0.6217,
              0.7995,
              1.095
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.13546,
              0.15888,
              0.18213,
              0.22792,
              0.31868,
              0.49961,
              0.86088
            ],
            [
              0.13814,
              0.16171,
              0.18501,
              0.2309,
              0.32174,
              0.50273,
              0.86399
            ],
            [
              0.14133,
              0.16502,
              0.18843,
              0.23445,
              0.32541,
              0.50647,
              0.86786
            ],
            [
              0.14622,
              0.17008,
              0.19362,
              0.23975,
              0.33085,
              0.51206,
              0.87348
            ],
            [
              0.15386,
              0.17783,
              0.20141,
              0.24777,
              0.33909,
              0.5204,
              0.88201
            ],
            [
              0.16554,
              0.18952,
              0.21323,
              0.25974,
              0.35128,
              0.53281,
              0.89479
            ],
            [
              0.1828,
              0.20676,
              0.23053,
              0.27711,
              0.36885,
              0.55059,
              0.91253
            ],
            [
              0.20768,
              0.23165,
              0.2554,
              0.30202,
              0.39389,
              0.5759,
              0.93816
            ],
            [
              0.24189,
              0.26747,
              0.2914,
              0.33798,
              0.42988,
              0.61209,
              0.97455
            ],
            [
              0.2818,
              0.31228,
              0.34024,
              0.39056,
              0.4828,
              0.66509,
              1.02779
            ],
            [
              0.32753,
              0.36472,
              0.39825,
              0.45792,
              0.56092,
              0.74402,
              1.10722
            ],
            [
              0.37737,
              0.42427,
              0.46587,
              0.53867,
              0.66097,
              0.86217,
              1.22577
            ],
            [
              0.4293,
              0.489,
              0.5417,
              0.6325,
              0.7816,
              1.0199,
              1.4036
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09375,
              0.11614,
              0.13853,
              0.18272,
              0.27108,
              0.44677,
              0.79846
            ],
            [
              0.0938,
              0.11621,
              0.13858,
              0.18272,
              0.27107,
              0.44666,
              0.79817
            ],
            [
              0.09369,
              0.11621,
              0.13857,
              0.18279,
              0.27093,
              0.44628,
              0.7986
            ],
            [
              0.09379,
              0.11623,
              0.13863,
              0.18281,
              0.27084,
              0.44644,
              0.79879
            ],
            [
              0.09374,
              0.11617,
              0.13864,
              0.18284,
              0.27086,
              0.44691,
              0.79754
            ],
            [
              0.09346,
              0.11611,
              0.13853,
              0.18269,
              0.27086,
              0.44664,
              0.79812
            ],
            [
              0.09373,
              0.11582,
              0.13811,
              0.18272,
              0.27101,
              0.44684,
              0.79832
            ],
            [
              0.09783,
              0.11907,
              0.14045,
              0.1835,
              0.27057,
              0.44685,
              0.79873
            ],
            [
              0.10864,
              0.12835,
              0.14858,
              0.18955,
              0.27365,
              0.44682,
              0.79819
            ],
            [
              0.12479,
              0.1463,
              0.16686,
              0.2055,
              0.28479,
              0.45112,
              0.79771
            ],
            [
              0.14871,
              0.17206,
              0.19386,
              0.23508,
              0.31139,
              0.46792,
              0.8026
            ],
            [
              0.1829,
              0.2089,
              0.233,
              0.2774,
              0.3586,
              0.5082,
              0.8232
            ],
            [
              0.2302,
              0.26,
              0.2875,
              0.3368,
              0.4248,
              0.5826,
              0.8796
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.10552,
              0.13717,
              0.16897,
              0.23249,
              0.35905,
              0.61148,
              1.11449
            ],
            [
              0.10562,
              0.13722,
              0.169,
              0.23247,
              0.35901,
              0.61148,
              1.11449
            ],
            [
              0.10567,
              0.13719,
              0.16902,
              0.23245,
              0.35892,
              0.61142,
              1.11462
            ],
            [
              0.10569,
              0.1373,
              0.16903,
              0.23246,
              0.35913,
              0.61151,
              1.11447
            ],
            [
              0.10567,
              0.13729,
              0.16919,
              0.23266,
              0.35903,
              0.61148,
              1.11351
            ],
            [
              0.10575,
              0.1374,
              0.16912,
              0.23246,
              0.359,
              0.61152,
              1.11542
            ],
            [
              0.106,
              0.13734,
              0.1692,
              0.23267,
              0.3591,
              0.61043,
              1.11331
            ],
            [
              0.10758,
              0.13828,
              0.16972,
              0.23277,
              0.35881,
              0.6114,
              1.11402
            ],
            [
              0.11757,
              0.14549,
              0.17493,
              0.23489,
              0.35923,
              0.61038,
              1.11489
            ],
            [
              0.14177,
              0.16692,
              0.19323,
              0.24842,
              0.36528,
              0.6116,
              1.11436
            ],
            [
              0.17793,
              0.20582,
              0.23262,
              0.28229,
              0.38847,
              0.6192,
              1.1152
            ],
            [
              0.23,
              0.2607,
              0.2895,
              0.3444,
              0.4434,
              0.6539,
              1.1214
            ],
            [
              0.3028,
              0.3375,
              0.3701,
              0.4305,
              0.5388,
              0.7339,
              1.1642
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09013,
              0.10915,
              0.12732,
              0.16205,
              0.22878,
              0.35865,
              0.61482
            ],
            [
              0.09242,
              0.11144,
              0.12961,
              0.16435,
              0.23109,
              0.36093,
              0.61703
            ],
            [
              0.0952,
              0.11423,
              0.13238,
              0.16713,
              0.23389,
              0.36377,
              0.61985
            ],
            [
              0.09917,
              0.11824,
              0.13644,
              0.1712,
              0.23797,
              0.36784,
              0.62403
            ],
            [
              0.10496,
              0.12406,
              0.14229,
              0.1771,
              0.24391,
              0.37383,
              0.62996
            ],
            [
              0.11361,
              0.13271,
              0.15096,
              0.18585,
              0.25275,
              0.38273,
              0.63911
            ],
            [
              0.127,
              0.14586,
              0.16408,
              0.19899,
              0.26601,
              0.39614,
              0.65256
            ],
            [
              0.14615,
              0.16609,
              0.1842,
              0.21897,
              0.28607,
              0.41636,
              0.67287
            ],
            [
              0.17033,
              0.19233,
              0.21252,
              0.24927,
              0.31633,
              0.44686,
              0.70358
            ],
            [
              0.2006,
              0.22561,
              0.24836,
              0.28936,
              0.36168,
              0.49264,
              0.74969
            ],
            [
              0.23689,
              0.26629,
              0.29279,
              0.33992,
              0.42146,
              0.56142,
              0.81892
            ],
            [
              0.27847,
              0.31387,
              0.34567,
              0.40167,
              0.49647,
              0.65457,
              0.92267
            ],
            [
              0.3246,
              0.3677,
              0.4064,
              0.4742,
              0.5876,
              0.7716,
              1.0717
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.15891,
              0.1899,
              0.22073,
              0.28163,
              0.4025,
              0.6437,
              1.12627
            ],
            [
              0.16144,
              0.19262,
              0.22349,
              0.28453,
              0.40557,
              0.64689,
              1.12934
            ],
            [
              0.16445,
              0.19579,
              0.22679,
              0.288,
              0.40918,
              0.65058,
              1.13312
            ],
            [
              0.16909,
              0.20064,
              0.23183,
              0.29317,
              0.41457,
              0.65607,
              1.13888
            ],
            [
              0.17637,
              0.20808,
              0.23938,
              0.30098,
              0.42265,
              0.66443,
              1.14721
            ],
            [
              0.1876,
              0.21935,
              0.25081,
              0.31263,
              0.43453,
              0.67655,
              1.15942
            ],
            [
              0.20407,
              0.23577,
              0.2673,
              0.3292,
              0.45138,
              0.69375,
              1.17693
            ],
            [
              0.22731,
              0.25894,
              0.29038,
              0.35236,
              0.47473,
              0.71747,
              1.20096
            ],
            [
              0.25934,
              0.29154,
              0.32292,
              0.38476,
              0.50707,
              0.75002,
              1.23415
            ],
            [
              0.29619,
              0.33327,
              0.36791,
              0.431,
              0.55327,
              0.79639,
              1.28039
            ],
            [
              0.3384,
              0.38121,
              0.42074,
              0.49282,
              0.62082,
              0.86382,
              1.34862
            ],
            [
              0.38577,
              0.43677,
              0.48317,
              0.56657,
              0.71237,
              0.96437,
              1.44887
            ],
            [
              0.4372,
              0.4997,
              0.5556,
              0.6543,
              0.8232,
              1.1077,
              1.5997
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08122,
              0.10315,
              0.12503,
              0.16895,
              0.25633,
              0.43093,
              0.78225
            ],
            [
              0.08116,
              0.10307,
              0.12513,
              0.16893,
              0.25637,
              0.43127,
              0.78243
            ],
            [
              0.08112,
              0.10307,
              0.12498,
              0.16882,
              0.25625,
              0.43096,
              0.78281
            ],
            [
              0.08096,
              0.10296,
              0.12505,
              0.16881,
              0.25639,
              0.43111,
              0.78192
            ],
            [
              0.08063,
              0.10277,
              0.12491,
              0.1688,
              0.25597,
              0.431,
              0.78266
            ],
            [
              0.07984,
              0.10221,
              0.12459,
              0.16859,
              0.25629,
              0.43148,
              0.78204
            ],
            [
              0.08175,
              0.10297,
              0.1246,
              0.16833,
              0.25605,
              0.43149,
              0.78208
            ],
            [
              0.08738,
              0.10752,
              0.12817,
              0.17005,
              0.25592,
              0.43142,
              0.78272
            ],
            [
              0.09881,
              0.11896,
              0.13787,
              0.17762,
              0.2598,
              0.43103,
              0.78212
            ],
            [
              0.11487,
              0.13652,
              0.15697,
              0.19564,
              0.27249,
              0.43697,
              0.78268
            ],
            [
              0.13862,
              0.16225,
              0.18418,
              0.22543,
              0.30156,
              0.45536,
              0.787
            ],
            [
              0.1723,
              0.1989,
              0.2233,
              0.2679,
              0.3487,
              0.4977,
              0.8106
            ],
            [
              0.2191,
              0.2498,
              0.2776,
              0.3275,
              0.4154,
              0.5723,
              0.8671
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11393,
              0.15652,
              0.19959,
              0.28424,
              0.45414,
              0.79213,
              1.46653
            ],
            [
              0.11395,
              0.15678,
              0.19955,
              0.28442,
              0.45393,
              0.79177,
              1.46764
            ],
            [
              0.11402,
              0.15669,
              0.19956,
              0.28444,
              0.45395,
              0.79183,
              1.46787
            ],
            [
              0.11406,
              0.15674,
              0.19956,
              0.28456,
              0.454,
              0.79196,
              1.46835
            ],
            [
              0.11386,
              0.15677,
              0.1994,
              0.28463,
              0.45389,
              0.79177,
              1.46694
            ],
            [
              0.11415,
              0.15653,
              0.19961,
              0.28451,
              0.45385,
              0.79213,
              1.4684
            ],
            [
              0.11434,
              0.15666,
              0.19961,
              0.28467,
              0.45346,
              0.79228,
              1.46817
            ],
            [
              0.11537,
              0.15743,
              0.19958,
              0.28473,
              0.45337,
              0.79117,
              1.46839
            ],
            [
              0.12353,
              0.16263,
              0.20329,
              0.28534,
              0.45415,
              0.79224,
              1.46739
            ],
            [
              0.1429,
              0.17971,
              0.21727,
              0.29531,
              0.45625,
              0.79129,
              1.467
            ],
            [
              0.17048,
              0.21078,
              0.24909,
              0.32143,
              0.47333,
              0.7949,
              1.4674
            ],
            [
              0.211,
              0.254,
              0.2954,
              0.3721,
              0.516,
              0.8187,
              1.469
            ],
            [
              0.2701,
              0.3173,
              0.3616,
              0.4443,
              0.5954,
              0.8791,
              1.4949
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09399,
              0.11278,
              0.13082,
              0.16547,
              0.23222,
              0.36245,
              0.61923
            ],
            [
              0.09629,
              0.11507,
              0.13312,
              0.16778,
              0.23454,
              0.36468,
              0.62161
            ],
            [
              0.09907,
              0.11788,
              0.1359,
              0.17057,
              0.23734,
              0.3675,
              0.62435
            ],
            [
              0.10304,
              0.12187,
              0.14,
              0.17466,
              0.24144,
              0.37168,
              0.62848
            ],
            [
              0.10883,
              0.12772,
              0.14585,
              0.18056,
              0.2474,
              0.3776,
              0.63452
            ],
            [
              0.11741,
              0.13635,
              0.1545,
              0.18932,
              0.25625,
              0.3866,
              0.64351
            ],
            [
              0.13065,
              0.14943,
              0.16757,
              0.20247,
              0.26952,
              0.39996,
              0.65706
            ],
            [
              0.15011,
              0.16963,
              0.18759,
              0.2224,
              0.28959,
              0.4202,
              0.67745
            ],
            [
              0.17469,
              0.19629,
              0.21625,
              0.25272,
              0.31983,
              0.4507,
              0.70817
            ],
            [
              0.20565,
              0.23013,
              0.25258,
              0.29324,
              0.36533,
              0.49651,
              0.75429
            ],
            [
              0.24304,
              0.27173,
              0.29779,
              0.34444,
              0.42557,
              0.56542,
              0.82362
            ],
            [
              0.28637,
              0.32077,
              0.35197,
              0.40717,
              0.50137,
              0.65907,
              0.92747
            ],
            [
              0.335,
              0.3768,
              0.4146,
              0.4813,
              0.5938,
              0.777,
              1.0769
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.17805,
              0.2072,
              0.23623,
              0.29355,
              0.40729,
              0.63383,
              1.08657
            ],
            [
              0.18075,
              0.21001,
              0.23911,
              0.29656,
              0.41032,
              0.63689,
              1.08934
            ],
            [
              0.184,
              0.21338,
              0.24255,
              0.30006,
              0.41398,
              0.64056,
              1.09372
            ],
            [
              0.18891,
              0.21843,
              0.24766,
              0.30538,
              0.4194,
              0.64616,
              1.09918
            ],
            [
              0.19646,
              0.2261,
              0.25548,
              0.31333,
              0.42756,
              0.65461,
              1.10771
            ],
            [
              0.20788,
              0.23761,
              0.26709,
              0.3251,
              0.43959,
              0.66685,
              1.11972
            ],
            [
              0.22447,
              0.25422,
              0.2838,
              0.34192,
              0.45657,
              0.68411,
              1.13723
            ],
            [
              0.24794,
              0.27772,
              0.30724,
              0.36544,
              0.48031,
              0.7082,
              1.16146
            ],
            [
              0.28106,
              0.31083,
              0.3403,
              0.39842,
              0.51335,
              0.74136,
              1.19565
            ],
            [
              0.32293,
              0.35622,
              0.3874,
              0.44585,
              0.56073,
              0.78889,
              1.24369
            ],
            [
              0.37142,
              0.40969,
              0.44552,
              0.51162,
              0.63032,
              0.85852,
              1.31342
            ],
            [
              0.42757,
              0.47287,
              0.51487,
              0.59137,
              0.72667,
              0.96237,
              1.41707
            ],
            [
              0.4905,
              0.5458,
              0.5964,
              0.687,
              0.8442,
              1.111,
              1.5731
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.10482,
              0.12587,
              0.14729,
              0.19045,
              0.27728,
              0.45189,
              0.80298
            ],
            [
              0.10472,
              0.12578,
              0.14712,
              0.1906,
              0.27722,
              0.45236,
              0.80316
            ],
            [
              0.10475,
              0.12574,
              0.14725,
              0.19022,
              0.27753,
              0.45226,
              0.80246
            ],
            [
              0.10461,
              0.12572,
              0.14724,
              0.19047,
              0.27749,
              0.4524,
              0.8035
            ],
            [
              0.10424,
              0.12547,
              0.14712,
              0.19031,
              0.27715,
              0.45152,
              0.80219
            ],
            [
              0.10357,
              0.12507,
              0.1468,
              0.19021,
              0.27714,
              0.45235,
              0.80352
            ],
            [
              0.10522,
              0.12579,
              0.14678,
              0.18988,
              0.27744,
              0.45163,
              0.8026
            ],
            [
              0.11067,
              0.13011,
              0.15038,
              0.19172,
              0.27709,
              0.45239,
              0.80262
            ],
            [
              0.1233,
              0.14121,
              0.15996,
              0.19903,
              0.28091,
              0.45191,
              0.80311
            ],
            [
              0.14181,
              0.16122,
              0.18025,
              0.21692,
              0.29392,
              0.45759,
              0.80296
            ],
            [
              0.16909,
              0.18988,
              0.20993,
              0.2486,
              0.32251,
              0.4755,
              0.8071
            ],
            [
              0.2078,
              0.2309,
              0.2527,
              0.2944,
              0.3718,
              0.5179,
              0.8306
            ],
            [
              0.2616,
              0.2877,
              0.3124,
              0.3581,
              0.4417,
              0.5951,
              0.8881
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.13138,
              0.17177,
              0.2128,
              0.29364,
              0.45389,
              0.77421,
              1.41423
            ],
            [
              0.13127,
              0.17196,
              0.21265,
              0.29364,
              0.45429,
              0.77308,
              1.41339
            ],
            [
              0.1312,
              0.17209,
              0.21282,
              0.2936,
              0.45358,
              0.7733,
              1.41251
            ],
            [
              0.13112,
              0.17201,
              0.21267,
              0.29363,
              0.45424,
              0.7732,
              1.4144
            ],
            [
              0.13129,
              0.1721,
              0.21254,
              0.29355,
              0.45424,
              0.77368,
              1.41313
            ],
            [
              0.1313,
              0.17191,
              0.21281,
              0.2936,
              0.45379,
              0.77394,
              1.41261
            ],
            [
              0.13132,
              0.17206,
              0.21285,
              0.29365,
              0.45406,
              0.77439,
              1.41281
            ],
            [
              0.13206,
              0.17228,
              0.21298,
              0.29362,
              0.45423,
              0.77373,
              1.41372
            ],
            [
              0.13787,
              0.17599,
              0.21518,
              0.29416,
              0.45376,
              0.77403,
              1.41423
            ],
            [
              0.15581,
              0.19111,
              0.22788,
              0.3023,
              0.45602,
              0.77343,
              1.41365
            ],
            [
              0.18563,
              0.22315,
              0.25847,
              0.32728,
              0.47203,
              0.7776,
              1.4139
            ],
            [
              0.2283,
              0.2687,
              0.3071,
              0.3793,
              0.5138,
              0.8015,
              1.4151
            ],
            [
              0.2903,
              0.3344,
              0.3762,
              0.4531,
              0.5954,
              0.8623,
              1.4422
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11987,
              0.13802,
              0.15563,
              0.18973,
              0.25589,
              0.38531,
              0.6412
            ],
            [
              0.1225,
              0.14065,
              0.15828,
              0.19239,
              0.25855,
              0.38799,
              0.64389
            ],
            [
              0.12562,
              0.1438,
              0.16143,
              0.19553,
              0.26172,
              0.39115,
              0.64708
            ],
            [
              0.12993,
              0.14813,
              0.16578,
              0.19992,
              0.2661,
              0.39559,
              0.65156
            ],
            [
              0.13599,
              0.15422,
              0.17192,
              0.20612,
              0.27237,
              0.40188,
              0.65778
            ],
            [
              0.14441,
              0.16272,
              0.18047,
              0.21474,
              0.2811,
              0.4107,
              0.66676
            ],
            [
              0.15637,
              0.17474,
              0.19255,
              0.22693,
              0.29339,
              0.42314,
              0.67933
            ],
            [
              0.17402,
              0.19229,
              0.21011,
              0.24456,
              0.31116,
              0.44107,
              0.69734
            ],
            [
              0.1978,
              0.21735,
              0.23584,
              0.27057,
              0.33724,
              0.46737,
              0.7239
            ],
            [
              0.22767,
              0.24905,
              0.26926,
              0.30695,
              0.37616,
              0.50645,
              0.76319
            ],
            [
              0.26509,
              0.28892,
              0.31138,
              0.35304,
              0.42879,
              0.56502,
              0.82202
            ],
            [
              0.31127,
              0.33857,
              0.36407,
              0.41107,
              0.49547,
              0.64497,
              0.91027
            ],
            [
              0.3668,
              0.399,
              0.4289,
              0.4833,
              0.5795,
              0.7465,
              1.0364
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.13945,
              0.16204,
              0.18428,
              0.22786,
              0.31375,
              0.484,
              0.82308
            ],
            [
              0.14209,
              0.16468,
              0.18695,
              0.23054,
              0.31647,
              0.48663,
              0.82585
            ],
            [
              0.14545,
              0.16808,
              0.19036,
              0.234,
              0.31995,
              0.49018,
              0.82935
            ],
            [
              0.1506,
              0.1733,
              0.19562,
              0.23927,
              0.32527,
              0.49549,
              0.83462
            ],
            [
              0.15849,
              0.18125,
              0.20359,
              0.24732,
              0.33336,
              0.50369,
              0.8429
            ],
            [
              0.17023,
              0.19301,
              0.21539,
              0.25923,
              0.34532,
              0.51566,
              0.85492
            ],
            [
              0.18702,
              0.20982,
              0.23226,
              0.27613,
              0.3623,
              0.53281,
              0.87206
            ],
            [
              0.2108,
              0.23363,
              0.25606,
              0.29997,
              0.38622,
              0.55682,
              0.89626
            ],
            [
              0.24351,
              0.26753,
              0.29011,
              0.33406,
              0.42037,
              0.59111,
              0.93065
            ],
            [
              0.28178,
              0.30995,
              0.33603,
              0.38352,
              0.47033,
              0.64119,
              0.98099
            ],
            [
              0.32491,
              0.35872,
              0.38969,
              0.44552,
              0.54292,
              0.71542,
              1.05532
            ],
            [
              0.37067,
              0.41257,
              0.45047,
              0.51777,
              0.63297,
              0.82537,
              1.16647
            ],
            [
              0.4171,
              0.4694,
              0.5166,
              0.5995,
              0.7389,
              0.9659,
              1.3332
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09371,
              0.11623,
              0.13859,
              0.18294,
              0.27086,
              0.44695,
              0.79883
            ],
            [
              0.0938,
              0.1162,
              0.13863,
              0.18288,
              0.27069,
              0.44656,
              0.79883
            ],
            [
              0.0938,
              0.11625,
              0.13861,
              0.18284,
              0.27082,
              0.44696,
              0.79863
            ],
            [
              0.09377,
              0.11624,
              0.13861,
              0.18293,
              0.27093,
              0.44668,
              0.7985
            ],
            [
              0.09374,
              0.11621,
              0.13862,
              0.18294,
              0.2708,
              0.44692,
              0.79819
            ],
            [
              0.09364,
              0.11611,
              0.13844,
              0.1828,
              0.27071,
              0.44636,
              0.79823
            ],
            [
              0.09353,
              0.11593,
              0.1383,
              0.18283,
              0.27099,
              0.44692,
              0.79838
            ],
            [
              0.09624,
              0.11795,
              0.13981,
              0.18319,
              0.27072,
              0.44685,
              0.7981
            ],
            [
              0.10447,
              0.12503,
              0.14592,
              0.1879,
              0.27296,
              0.44684,
              0.79813
            ],
            [
              0.11739,
              0.13916,
              0.1603,
              0.20036,
              0.28216,
              0.45011,
              0.79808
            ],
            [
              0.13568,
              0.15888,
              0.18124,
              0.22361,
              0.30373,
              0.46495,
              0.8017
            ],
            [
              0.1628,
              0.1875,
              0.2114,
              0.2563,
              0.3405,
              0.498,
              0.8221
            ],
            [
              0.203,
              0.23,
              0.2555,
              0.3032,
              0.3919,
              0.5567,
              0.8693
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11475,
              0.14422,
              0.17407,
              0.23362,
              0.3525,
              0.58883,
              1.06295
            ],
            [
              0.11451,
              0.14405,
              0.17391,
              0.23364,
              0.35236,
              0.5897,
              1.06345
            ],
            [
              0.11454,
              0.14407,
              0.17391,
              0.23365,
              0.35237,
              0.58932,
              1.06342
            ],
            [
              0.11473,
              0.14431,
              0.17404,
              0.23366,
              0.35236,
              0.58963,
              1.06375
            ],
            [
              0.11467,
              0.14431,
              0.17393,
              0.23366,
              0.35228,
              0.58872,
              1.06349
            ],
            [
              0.11478,
              0.14413,
              0.17407,
              0.23345,
              0.35228,
              0.58967,
              1.06373
            ],
            [
              0.11494,
              0.14412,
              0.17414,
              0.23361,
              0.35242,
              0.5889,
              1.06366
            ],
            [
              0.11658,
              0.14492,
              0.17431,
              0.23364,
              0.35196,
              0.58885,
              1.06361
            ],
            [
              0.12589,
              0.15259,
              0.18005,
              0.23654,
              0.35265,
              0.58862,
              1.0628
            ],
            [
              0.14943,
              0.17352,
              0.19833,
              0.25056,
              0.35986,
              0.58932,
              1.06259
            ],
            [
              0.18486,
              0.21153,
              0.23706,
              0.28535,
              0.38503,
              0.6011,
              1.0624
            ],
            [
              0.2357,
              0.2654,
              0.2935,
              0.3464,
              0.4428,
              0.6389,
              1.0753
            ],
            [
              0.3068,
              0.34,
              0.372,
              0.4306,
              0.5359,
              0.7246,
              1.1248
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09539,
              0.1144,
              0.13256,
              0.1673,
              0.23403,
              0.36387,
              0.61996
            ],
            [
              0.09792,
              0.11693,
              0.1351,
              0.16983,
              0.23657,
              0.36644,
              0.62257
            ],
            [
              0.10094,
              0.11996,
              0.13813,
              0.17287,
              0.23961,
              0.36947,
              0.62573
            ],
            [
              0.10514,
              0.12419,
              0.14236,
              0.17713,
              0.24388,
              0.37374,
              0.62992
            ],
            [
              0.1111,
              0.13018,
              0.1484,
              0.18321,
              0.25,
              0.3799,
              0.63605
            ],
            [
              0.11951,
              0.13863,
              0.15689,
              0.19175,
              0.25862,
              0.38861,
              0.64492
            ],
            [
              0.13172,
              0.15073,
              0.16899,
              0.20392,
              0.27091,
              0.40098,
              0.65739
            ],
            [
              0.14907,
              0.16858,
              0.18676,
              0.22161,
              0.28867,
              0.41891,
              0.67543
            ],
            [
              0.17079,
              0.19195,
              0.21157,
              0.24773,
              0.31482,
              0.44524,
              0.70191
            ],
            [
              0.19792,
              0.22123,
              0.24278,
              0.28229,
              0.35349,
              0.48438,
              0.74129
            ],
            [
              0.2315,
              0.25774,
              0.28187,
              0.32583,
              0.40418,
              0.54282,
              0.80022
            ],
            [
              0.27197,
              0.30247,
              0.33027,
              0.38027,
              0.46817,
              0.62087,
              0.88847
            ],
            [
              0.3188,
              0.3555,
              0.3887,
              0.4474,
              0.5483,
              0.7198,
              1.0131
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.16898,
              0.19925,
              0.22917,
              0.28805,
              0.4043,
              0.63506,
              1.09557
            ],
            [
              0.17147,
              0.20177,
              0.2317,
              0.29058,
              0.40684,
              0.63766,
              1.09794
            ],
            [
              0.17469,
              0.20504,
              0.235,
              0.29393,
              0.41023,
              0.64107,
              1.10152
            ],
            [
              0.17969,
              0.21011,
              0.24013,
              0.29909,
              0.41542,
              0.64636,
              1.10668
            ],
            [
              0.18739,
              0.21787,
              0.24794,
              0.30699,
              0.4234,
              0.6544,
              1.11481
            ],
            [
              0.19875,
              0.22932,
              0.25942,
              0.31856,
              0.43509,
              0.66616,
              1.12662
            ],
            [
              0.21474,
              0.24532,
              0.27549,
              0.33471,
              0.45132,
              0.68256,
              1.14313
            ],
            [
              0.23667,
              0.26726,
              0.29742,
              0.35672,
              0.4734,
              0.70468,
              1.16546
            ],
            [
              0.26667,
              0.29743,
              0.32761,
              0.38687,
              0.50366,
              0.73514,
              1.19615
            ],
            [
              0.3018,
              0.33655,
              0.36923,
              0.42956,
              0.54627,
              0.77789,
              1.23909
            ],
            [
              0.34079,
              0.38053,
              0.41759,
              0.48582,
              0.60822,
              0.84002,
              1.30142
            ],
            [
              0.38297,
              0.42947,
              0.47247,
              0.55087,
              0.68977,
              0.93177,
              1.39337
            ],
            [
              0.4277,
              0.4834,
              0.5342,
              0.6258,
              0.7857,
              1.0589,
              1.5311
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08101,
              0.10302,
              0.12506,
              0.16876,
              0.25622,
              0.43153,
              0.78274
            ],
            [
              0.08096,
              0.10293,
              0.12503,
              0.16885,
              0.25637,
              0.43094,
              0.78194
            ],
            [
              0.08089,
              0.10291,
              0.125,
              0.16885,
              0.25637,
              0.43153,
              0.78231
            ],
            [
              0.08078,
              0.10282,
              0.12491,
              0.16881,
              0.2562,
              0.43123,
              0.78264
            ],
            [
              0.08063,
              0.10281,
              0.12481,
              0.16875,
              0.25614,
              0.43154,
              0.7825
            ],
            [
              0.08023,
              0.10255,
              0.12473,
              0.16875,
              0.25606,
              0.43143,
              0.78262
            ],
            [
              0.0811,
              0.10268,
              0.12448,
              0.16851,
              0.25597,
              0.43153,
              0.78216
            ],
            [
              0.08512,
              0.10583,
              0.12703,
              0.16964,
              0.25617,
              0.43148,
              0.78282
            ],
            [
              0.09419,
              0.11452,
              0.13443,
              0.17529,
              0.259,
              0.43094,
              0.78239
            ],
            [
              0.10686,
              0.12845,
              0.14944,
              0.18945,
              0.26938,
              0.43628,
              0.78181
            ],
            [
              0.12521,
              0.14817,
              0.17037,
              0.21266,
              0.29273,
              0.45193,
              0.78722
            ],
            [
              0.1527,
              0.1773,
              0.2009,
              0.2454,
              0.3295,
              0.4866,
              0.8083
            ],
            [
              0.1938,
              0.2206,
              0.246,
              0.2933,
              0.3815,
              0.5453,
              0.8554
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.12969,
              0.17049,
              0.2115,
              0.2927,
              0.45491,
              0.77771,
              1.42484
            ],
            [
              0.1297,
              0.1704,
              0.21133,
              0.29258,
              0.45479,
              0.77787,
              1.42376
            ],
            [
              0.1297,
              0.17049,
              0.21149,
              0.29269,
              0.45508,
              0.77814,
              1.42494
            ],
            [
              0.12953,
              0.17043,
              0.2115,
              0.29278,
              0.4547,
              0.77831,
              1.42311
            ],
            [
              0.12973,
              0.17058,
              0.21148,
              0.29267,
              0.45474,
              0.77848,
              1.42301
            ],
            [
              0.12975,
              0.17041,
              0.2115,
              0.29271,
              0.45515,
              0.77826,
              1.42518
            ],
            [
              0.12968,
              0.17062,
              0.21157,
              0.29273,
              0.45482,
              0.77838,
              1.42493
            ],
            [
              0.13056,
              0.17075,
              0.21176,
              0.29295,
              0.45496,
              0.77831,
              1.42294
            ],
            [
              0.13798,
              0.17613,
              0.21488,
              0.29396,
              0.45482,
              0.77809,
              1.4243
            ],
            [
              0.15625,
              0.19209,
              0.22852,
              0.30362,
              0.4585,
              0.7784,
              1.42389
            ],
            [
              0.18391,
              0.22276,
              0.25986,
              0.33042,
              0.47608,
              0.7832,
              1.425
            ],
            [
              0.2237,
              0.2657,
              0.3057,
              0.3808,
              0.5195,
              0.8103,
              1.4284
            ],
            [
              0.2809,
              0.3268,
              0.3702,
              0.4509,
              0.5994,
              0.8741,
              1.461
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09925,
              0.11804,
              0.1361,
              0.17072,
              0.23747,
              0.36765,
              0.62444
            ],
            [
              0.10179,
              0.12056,
              0.13862,
              0.17327,
              0.24002,
              0.37024,
              0.62699
            ],
            [
              0.10481,
              0.12362,
              0.14166,
              0.17632,
              0.24308,
              0.37331,
              0.6301
            ],
            [
              0.10901,
              0.12782,
              0.14594,
              0.18058,
              0.24737,
              0.37752,
              0.63441
            ],
            [
              0.11497,
              0.13383,
              0.15194,
              0.18667,
              0.2535,
              0.3837,
              0.64069
            ],
            [
              0.12336,
              0.14229,
              0.16043,
              0.19523,
              0.26214,
              0.39241,
              0.64952
            ],
            [
              0.13546,
              0.15432,
              0.17251,
              0.20739,
              0.27442,
              0.4048,
              0.66189
            ],
            [
              0.15296,
              0.17213,
              0.1902,
              0.22505,
              0.29222,
              0.42275,
              0.67994
            ],
            [
              0.17501,
              0.19582,
              0.21524,
              0.2512,
              0.31834,
              0.44909,
              0.7065
            ],
            [
              0.20263,
              0.22553,
              0.24684,
              0.2861,
              0.3571,
              0.48824,
              0.74589
            ],
            [
              0.23693,
              0.26264,
              0.28648,
              0.33012,
              0.4082,
              0.54682,
              0.80482
            ],
            [
              0.27857,
              0.30837,
              0.33577,
              0.38527,
              0.47277,
              0.62527,
              0.89317
            ],
            [
              0.3274,
              0.363,
              0.3955,
              0.4535,
              0.5538,
              0.7249,
              1.0183
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.1861,
              0.21438,
              0.2424,
              0.2976,
              0.40655,
              0.62281,
              1.05377
            ],
            [
              0.18863,
              0.21693,
              0.24497,
              0.30017,
              0.40913,
              0.62537,
              1.05634
            ],
            [
              0.19196,
              0.22027,
              0.24835,
              0.30356,
              0.41255,
              0.62879,
              1.05982
            ],
            [
              0.19704,
              0.22542,
              0.2535,
              0.30878,
              0.4178,
              0.63413,
              1.06528
            ],
            [
              0.20485,
              0.23327,
              0.26141,
              0.31673,
              0.42581,
              0.64218,
              1.07331
            ],
            [
              0.21637,
              0.24486,
              0.273,
              0.3284,
              0.43759,
              0.65403,
              1.08522
            ],
            [
              0.23254,
              0.26105,
              0.28926,
              0.34473,
              0.45399,
              0.67056,
              1.10183
            ],
            [
              0.25478,
              0.28329,
              0.31153,
              0.36703,
              0.47638,
              0.69302,
              1.12446
            ],
            [
              0.28558,
              0.31413,
              0.34235,
              0.39786,
              0.5073,
              0.72412,
              1.15575
            ],
            [
              0.32492,
              0.35626,
              0.38597,
              0.4418,
              0.55128,
              0.76809,
              1.19989
            ],
            [
              0.36945,
              0.40524,
              0.43903,
              0.50182,
              0.61532,
              0.83242,
              1.26442
            ],
            [
              0.41917,
              0.46107,
              0.50027,
              0.57247,
              0.70147,
              0.92767,
              1.35997
            ],
            [
              0.4735,
              0.5236,
              0.57,
              0.6546,
              0.8037,
              1.0601,
              1.503
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.10463,
              0.12572,
              0.14727,
              0.19036,
              0.27706,
              0.45168,
              0.80233
            ],
            [
              0.10458,
              0.12574,
              0.14713,
              0.19052,
              0.27749,
              0.45179,
              0.80355
            ],
            [
              0.10453,
              0.12566,
              0.1471,
              0.19033,
              0.27716,
              0.45168,
              0.80215
            ],
            [
              0.10454,
              0.12566,
              0.14708,
              0.19018,
              0.27712,
              0.4524,
              0.80309
            ],
            [
              0.10433,
              0.12548,
              0.14704,
              0.19023,
              0.27712,
              0.45242,
              0.80301
            ],
            [
              0.10393,
              0.12535,
              0.14695,
              0.19048,
              0.27714,
              0.4523,
              0.80326
            ],
            [
              0.10472,
              0.12552,
              0.14676,
              0.18991,
              0.27708,
              0.45199,
              0.80298
            ],
            [
              0.10851,
              0.12856,
              0.14911,
              0.1913,
              0.27695,
              0.45239,
              0.80293
            ],
            [
              0.11807,
              0.13693,
              0.15648,
              0.19698,
              0.28003,
              0.45159,
              0.80366
            ],
            [
              0.1326,
              0.15254,
              0.17213,
              0.21067,
              0.29028,
              0.45648,
              0.80241
            ],
            [
              0.1534,
              0.1745,
              0.19529,
              0.23585,
              0.31348,
              0.47229,
              0.80733
            ],
            [
              0.1844,
              0.2066,
              0.2284,
              0.2707,
              0.3521,
              0.507,
              0.8287
            ],
            [
              0.2305,
              0.2541,
              0.2773,
              0.3216,
              0.4064,
              0.5672,
              0.8766
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.14395,
              0.18319,
              0.22184,
              0.29917,
              0.45276,
              0.75741,
              1.3691
            ],
            [
              0.14419,
              0.18298,
              0.22204,
              0.29935,
              0.45283,
              0.75817,
              1.36868
            ],
            [
              0.14408,
              0.18318,
              0.22209,
              0.29922,
              0.45277,
              0.75831,
              1.36779
            ],
            [
              0.1442,
              0.18317,
              0.2221,
              0.29931,
              0.45283,
              0.75743,
              1.36834
            ],
            [
              0.14416,
              0.18295,
              0.22211,
              0.29932,
              0.45283,
              0.75769,
              1.36904
            ],
            [
              0.14418,
              0.18322,
              0.22189,
              0.29936,
              0.45223,
              0.75812,
              1.36902
            ],
            [
              0.14425,
              0.18302,
              0.22183,
              0.29938,
              0.4526,
              0.75774,
              1.36893
            ],
            [
              0.14474,
              0.18336,
              0.22223,
              0.29925,
              0.45281,
              0.75849,
              1.36751
            ],
            [
              0.15034,
              0.18735,
              0.22464,
              0.30001,
              0.45243,
              0.75739,
              1.36765
            ],
            [
              0.1673,
              0.2018,
              0.23719,
              0.3087,
              0.4559,
              0.75852,
              1.36742
            ],
            [
              0.19705,
              0.23326,
              0.26771,
              0.33442,
              0.47347,
              0.7636,
              1.3688
            ],
            [
              0.239,
              0.2782,
              0.3157,
              0.386,
              0.5164,
              0.7904,
              1.3725
            ],
            [
              0.2996,
              0.3424,
              0.3828,
              0.4587,
              0.5973,
              0.8556,
              1.4069
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03707,
              0.04864,
              0.05999,
              0.08221,
              0.12618,
              0.21391,
              0.38943
            ],
            [
              0.03917,
              0.05095,
              0.06239,
              0.0847,
              0.1289,
              0.21669,
              0.39216
            ],
            [
              0.04184,
              0.05377,
              0.06531,
              0.08775,
              0.13202,
              0.21984,
              0.39541
            ],
            [
              0.04606,
              0.05809,
              0.06972,
              0.09241,
              0.13676,
              0.22478,
              0.4002
            ],
            [
              0.05279,
              0.06483,
              0.07656,
              0.09933,
              0.14387,
              0.23199,
              0.4076
            ],
            [
              0.0618,
              0.07524,
              0.08695,
              0.10985,
              0.15447,
              0.24275,
              0.41848
            ],
            [
              0.07213,
              0.08857,
              0.10243,
              0.12581,
              0.17064,
              0.25913,
              0.43504
            ],
            [
              0.08401,
              0.10422,
              0.12115,
              0.14915,
              0.19495,
              0.28361,
              0.45956
            ],
            [
              0.09749,
              0.12233,
              0.14305,
              0.17736,
              0.23124,
              0.32054,
              0.49673
            ],
            [
              0.11255,
              0.14298,
              0.16843,
              0.21048,
              0.27632,
              0.37626,
              0.55239
            ],
            [
              0.12877,
              0.1662,
              0.19739,
              0.24897,
              0.32964,
              0.45142,
              0.63632
            ],
            [
              0.14544,
              0.19137,
              0.22967,
              0.29287,
              0.39187,
              0.54087,
              0.76027
            ],
            [
              0.161,
              0.2174,
              0.2645,
              0.3421,
              0.4636,
              0.6459,
              0.9131
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.05728,
              0.07746,
              0.0973,
              0.13591,
              0.21222,
              0.36459,
              0.66822
            ],
            [
              0.05896,
              0.07952,
              0.09943,
              0.13836,
              0.21486,
              0.36722,
              0.67211
            ],
            [
              0.06129,
              0.08204,
              0.10208,
              0.1412,
              0.21791,
              0.37056,
              0.67515
            ],
            [
              0.06543,
              0.08614,
              0.10634,
              0.14563,
              0.22268,
              0.37539,
              0.67975
            ],
            [
              0.07248,
              0.09295,
              0.11314,
              0.15256,
              0.22977,
              0.38269,
              0.68724
            ],
            [
              0.08395,
              0.10392,
              0.12393,
              0.16344,
              0.24078,
              0.39414,
              0.69942
            ],
            [
              0.10076,
              0.12152,
              0.14111,
              0.18025,
              0.25786,
              0.4112,
              0.71662
            ],
            [
              0.11997,
              0.14643,
              0.16805,
              0.20651,
              0.28399,
              0.43728,
              0.7425
            ],
            [
              0.14235,
              0.1755,
              0.2028,
              0.24717,
              0.32359,
              0.47684,
              0.78135
            ],
            [
              0.16833,
              0.20969,
              0.24384,
              0.29942,
              0.38462,
              0.537,
              0.84169
            ],
            [
              0.19882,
              0.24958,
              0.29197,
              0.36143,
              0.46822,
              0.62832,
              0.93202
            ],
            [
              0.23537,
              0.29657,
              0.34847,
              0.43437,
              0.56777,
              0.76357,
              1.07017
            ],
            [
              0.2803,
              0.353,
              0.4154,
              0.5202,
              0.6852,
              0.93,
              1.2784
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02928,
              0.04437,
              0.05963,
              0.08997,
              0.15052,
              0.27197,
              0.51507
            ],
            [
              0.02923,
              0.04438,
              0.05961,
              0.08994,
              0.15064,
              0.27213,
              0.5149
            ],
            [
              0.02925,
              0.04439,
              0.05964,
              0.08997,
              0.1506,
              0.27194,
              0.51505
            ],
            [
              0.02918,
              0.04432,
              0.05957,
              0.09002,
              0.15066,
              0.2721,
              0.51428
            ],
            [
              0.03074,
              0.04463,
              0.05958,
              0.08996,
              0.15058,
              0.27192,
              0.51446
            ],
            [
              0.03583,
              0.04789,
              0.06124,
              0.09013,
              0.15049,
              0.2717,
              0.51439
            ],
            [
              0.04354,
              0.05618,
              0.06781,
              0.09361,
              0.15073,
              0.27208,
              0.51503
            ],
            [
              0.05339,
              0.06818,
              0.08114,
              0.10417,
              0.15605,
              0.27207,
              0.51494
            ],
            [
              0.06694,
              0.084,
              0.09877,
              0.12454,
              0.17082,
              0.27746,
              0.51504
            ],
            [
              0.08507,
              0.10526,
              0.12254,
              0.15182,
              0.20129,
              0.29626,
              0.51793
            ],
            [
              0.10952,
              0.13368,
              0.15409,
              0.18836,
              0.24495,
              0.33846,
              0.5391
            ],
            [
              0.14233,
              0.17176,
              0.19586,
              0.23672,
              0.3024,
              0.4082,
              0.5932
            ],
            [
              0.1862,
              0.2222,
              0.2516,
              0.3006,
              0.3784,
              0.5014,
              0.6977
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0526,
              0.07994,
              0.1077,
              0.16229,
              0.27125,
              0.4886,
              0.92283
            ],
            [
              0.05253,
              0.08015,
              0.10752,
              0.16228,
              0.27127,
              0.48765,
              0.92397
            ],
            [
              0.05246,
              0.07996,
              0.10753,
              0.16224,
              0.27119,
              0.48885,
              0.92282
            ],
            [
              0.05226,
              0.0799,
              0.10764,
              0.16227,
              0.27108,
              0.48791,
              0.92231
            ],
            [
              0.05199,
              0.07989,
              0.10722,
              0.16232,
              0.27094,
              0.48823,
              0.92219
            ],
            [
              0.05469,
              0.07958,
              0.10707,
              0.16233,
              0.27075,
              0.48795,
              0.92396
            ],
            [
              0.06338,
              0.085,
              0.10921,
              0.16183,
              0.27096,
              0.4882,
              0.92405
            ],
            [
              0.08032,
              0.09859,
              0.11952,
              0.16641,
              0.27095,
              0.48872,
              0.92405
            ],
            [
              0.09827,
              0.12323,
              0.14205,
              0.18245,
              0.2763,
              0.48872,
              0.92291
            ],
            [
              0.12167,
              0.15193,
              0.17654,
              0.21628,
              0.29781,
              0.49257,
              0.92341
            ],
            [
              0.15084,
              0.18842,
              0.21858,
              0.26817,
              0.34587,
              0.51761,
              0.9233
            ],
            [
              0.18702,
              0.23342,
              0.2713,
              0.3329,
              0.4271,
              0.5809,
              0.9479
            ],
            [
              0.2321,
              0.2888,
              0.3362,
              0.413,
              0.5298,
              0.7012,
              1.0233
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03709,
              0.04867,
              0.06001,
              0.08226,
              0.12632,
              0.21394,
              0.38923
            ],
            [
              0.03924,
              0.05104,
              0.06247,
              0.08478,
              0.12901,
              0.21664,
              0.3921
            ],
            [
              0.04197,
              0.05391,
              0.06544,
              0.08791,
              0.13216,
              0.21995,
              0.39546
            ],
            [
              0.04627,
              0.05829,
              0.0699,
              0.09251,
              0.13689,
              0.22493,
              0.40053
            ],
            [
              0.05301,
              0.06507,
              0.07679,
              0.09956,
              0.14408,
              0.23214,
              0.40788
            ],
            [
              0.06213,
              0.07551,
              0.08723,
              0.11013,
              0.15475,
              0.24296,
              0.41875
            ],
            [
              0.07252,
              0.08894,
              0.10277,
              0.12613,
              0.17089,
              0.25946,
              0.43536
            ],
            [
              0.08445,
              0.10463,
              0.12156,
              0.14952,
              0.19536,
              0.28399,
              0.45974
            ],
            [
              0.09791,
              0.12268,
              0.14341,
              0.17777,
              0.23163,
              0.32088,
              0.49707
            ],
            [
              0.11282,
              0.14335,
              0.1688,
              0.21086,
              0.27669,
              0.37646,
              0.55277
            ],
            [
              0.12884,
              0.16634,
              0.19761,
              0.24927,
              0.33,
              0.45162,
              0.63662
            ],
            [
              0.145,
              0.19117,
              0.22957,
              0.29297,
              0.39227,
              0.54137,
              0.76067
            ],
            [
              0.1597,
              0.2165,
              0.2638,
              0.3417,
              0.4636,
              0.646,
              0.9134
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.06298,
              0.08619,
              0.10892,
              0.15333,
              0.24123,
              0.41624,
              0.76651
            ],
            [
              0.06436,
              0.08788,
              0.11079,
              0.15548,
              0.24355,
              0.41868,
              0.76802
            ],
            [
              0.06644,
              0.09013,
              0.11326,
              0.15826,
              0.24667,
              0.42191,
              0.7717
            ],
            [
              0.07022,
              0.09392,
              0.11714,
              0.1625,
              0.25089,
              0.42669,
              0.77724
            ],
            [
              0.07688,
              0.10028,
              0.12347,
              0.16907,
              0.25766,
              0.4337,
              0.78366
            ],
            [
              0.08792,
              0.11072,
              0.13368,
              0.17924,
              0.26818,
              0.44463,
              0.79482
            ],
            [
              0.10519,
              0.12772,
              0.15024,
              0.19521,
              0.28469,
              0.46084,
              0.81226
            ],
            [
              0.12512,
              0.15328,
              0.17632,
              0.22052,
              0.30973,
              0.48612,
              0.83746
            ],
            [
              0.14837,
              0.18345,
              0.21251,
              0.25986,
              0.34795,
              0.52418,
              0.87535
            ],
            [
              0.17541,
              0.21895,
              0.25508,
              0.3143,
              0.40695,
              0.58218,
              0.93299
            ],
            [
              0.20721,
              0.26048,
              0.30511,
              0.37865,
              0.49242,
              0.67082,
              1.02072
            ],
            [
              0.24547,
              0.30947,
              0.36387,
              0.45447,
              0.59577,
              0.80547,
              1.15367
            ],
            [
              0.2927,
              0.3685,
              0.4337,
              0.5436,
              0.7177,
              0.9777,
              1.356
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02926,
              0.04435,
              0.05962,
              0.08998,
              0.15072,
              0.27172,
              0.51456
            ],
            [
              0.02923,
              0.0444,
              0.05961,
              0.08991,
              0.15074,
              0.27166,
              0.51444
            ],
            [
              0.02926,
              0.0444,
              0.05963,
              0.09002,
              0.15074,
              0.27192,
              0.51496
            ],
            [
              0.02921,
              0.04437,
              0.05956,
              0.0899,
              0.15056,
              0.27191,
              0.51505
            ],
            [
              0.03065,
              0.0446,
              0.05956,
              0.08996,
              0.15062,
              0.27195,
              0.51509
            ],
            [
              0.03558,
              0.04778,
              0.06119,
              0.09011,
              0.1505,
              0.27188,
              0.51485
            ],
            [
              0.0433,
              0.05592,
              0.06757,
              0.09352,
              0.15076,
              0.27208,
              0.51504
            ],
            [
              0.05306,
              0.0679,
              0.08089,
              0.10397,
              0.15591,
              0.27207,
              0.51438
            ],
            [
              0.06661,
              0.08372,
              0.09852,
              0.12422,
              0.17067,
              0.27732,
              0.515
            ],
            [
              0.08476,
              0.10493,
              0.12216,
              0.15148,
              0.20102,
              0.29639,
              0.5179
            ],
            [
              0.10925,
              0.13345,
              0.15379,
              0.18807,
              0.24464,
              0.33821,
              0.53838
            ],
            [
              0.14237,
              0.17149,
              0.19576,
              0.23646,
              0.3021,
              0.408,
              0.5929
            ],
            [
              0.1865,
              0.2223,
              0.2518,
              0.3007,
              0.3783,
              0.5011,
              0.6975
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.06152,
              0.09298,
              0.12489,
              0.18691,
              0.31106,
              0.55884,
              1.05458
            ],
            [
              0.06136,
              0.09311,
              0.12475,
              0.18723,
              0.31137,
              0.55954,
              1.05581
            ],
            [
              0.06125,
              0.09315,
              0.12484,
              0.18707,
              0.31132,
              0.55943,
              1.0558
            ],
            [
              0.06084,
              0.09283,
              0.12447,
              0.18685,
              0.3115,
              0.55856,
              1.05499
            ],
            [
              0.06041,
              0.09252,
              0.12448,
              0.18692,
              0.31146,
              0.55832,
              1.05565
            ],
            [
              0.06194,
              0.0919,
              0.12414,
              0.18699,
              0.31146,
              0.55885,
              1.05573
            ],
            [
              0.06963,
              0.09598,
              0.12458,
              0.18652,
              0.31115,
              0.55946,
              1.05498
            ],
            [
              0.08629,
              0.1081,
              0.13331,
              0.18879,
              0.31045,
              0.55835,
              1.05425
            ],
            [
              0.1048,
              0.13251,
              0.15387,
              0.20278,
              0.31364,
              0.55859,
              1.05548
            ],
            [
              0.12817,
              0.16132,
              0.18911,
              0.2337,
              0.33195,
              0.56032,
              1.05556
            ],
            [
              0.15725,
              0.19786,
              0.23138,
              0.28617,
              0.37551,
              0.57942,
              1.055
            ],
            [
              0.19384,
              0.2432,
              0.2842,
              0.3514,
              0.4552,
              0.6369,
              1.0698
            ],
            [
              0.2392,
              0.2994,
              0.3496,
              0.4321,
              0.5595,
              0.7492,
              1.1347
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03709,
              0.04869,
              0.06001,
              0.08219,
              0.12632,
              0.21394,
              0.38937
            ],
            [
              0.03923,
              0.05103,
              0.06243,
              0.08484,
              0.129,
              0.21663,
              0.39221
            ],
            [
              0.04195,
              0.05388,
              0.0654,
              0.08788,
              0.13216,
              0.22008,
              0.39528
            ],
            [
              0.04621,
              0.05825,
              0.06988,
              0.09248,
              0.13687,
              0.22495,
              0.40048
            ],
            [
              0.05295,
              0.06499,
              0.07674,
              0.09948,
              0.14408,
              0.23201,
              0.40779
            ],
            [
              0.06204,
              0.07544,
              0.08716,
              0.11006,
              0.15468,
              0.24287,
              0.41863
            ],
            [
              0.07241,
              0.08884,
              0.10267,
              0.12604,
              0.17081,
              0.25937,
              0.43528
            ],
            [
              0.08432,
              0.10451,
              0.12144,
              0.14941,
              0.19526,
              0.28379,
              0.45965
            ],
            [
              0.09779,
              0.12254,
              0.14328,
              0.17765,
              0.23154,
              0.32077,
              0.49697
            ],
            [
              0.11273,
              0.14324,
              0.16868,
              0.21075,
              0.27657,
              0.3764,
              0.55267
            ],
            [
              0.12882,
              0.16631,
              0.19754,
              0.24918,
              0.3299,
              0.45142,
              0.63652
            ],
            [
              0.14511,
              0.19117,
              0.22957,
              0.29297,
              0.39217,
              0.54107,
              0.76057
            ],
            [
              0.1601,
              0.2168,
              0.264,
              0.3418,
              0.4636,
              0.6459,
              0.9133
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0616,
              0.08397,
              0.10579,
              0.14838,
              0.23278,
              0.40074,
              0.7371
            ],
            [
              0.06304,
              0.08575,
              0.10778,
              0.15077,
              0.23539,
              0.40341,
              0.74013
            ],
            [
              0.06514,
              0.08806,
              0.11022,
              0.15346,
              0.23835,
              0.40704,
              0.74358
            ],
            [
              0.06904,
              0.09191,
              0.11416,
              0.15763,
              0.24283,
              0.4113,
              0.74816
            ],
            [
              0.0758,
              0.09833,
              0.12072,
              0.1644,
              0.24992,
              0.41868,
              0.75538
            ],
            [
              0.08693,
              0.10894,
              0.13108,
              0.17458,
              0.26062,
              0.42965,
              0.76659
            ],
            [
              0.10407,
              0.12606,
              0.14779,
              0.19094,
              0.27703,
              0.44633,
              0.78339
            ],
            [
              0.12377,
              0.15146,
              0.17405,
              0.21659,
              0.30215,
              0.47154,
              0.80906
            ],
            [
              0.14676,
              0.1813,
              0.20986,
              0.25626,
              0.34079,
              0.51008,
              0.84805
            ],
            [
              0.17347,
              0.2164,
              0.25196,
              0.31014,
              0.4005,
              0.56919,
              0.90609
            ],
            [
              0.20487,
              0.25745,
              0.30143,
              0.3738,
              0.48552,
              0.65822,
              0.99462
            ],
            [
              0.24267,
              0.30587,
              0.35947,
              0.44877,
              0.58777,
              0.79337,
              1.12907
            ],
            [
              0.2891,
              0.3641,
              0.4285,
              0.5369,
              0.7084,
              0.964,
              1.3329
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02926,
              0.04439,
              0.05962,
              0.08991,
              0.15073,
              0.2717,
              0.51449
            ],
            [
              0.02924,
              0.04439,
              0.05957,
              0.09003,
              0.15074,
              0.27162,
              0.51477
            ],
            [
              0.02926,
              0.0444,
              0.05964,
              0.09003,
              0.15075,
              0.27215,
              0.51408
            ],
            [
              0.02919,
              0.04436,
              0.05955,
              0.08989,
              0.15056,
              0.27208,
              0.51509
            ],
            [
              0.03069,
              0.04454,
              0.05953,
              0.08993,
              0.1507,
              0.27176,
              0.51503
            ],
            [
              0.0357,
              0.04778,
              0.06117,
              0.09012,
              0.1505,
              0.27181,
              0.51471
            ],
            [
              0.04337,
              0.056,
              0.06767,
              0.09354,
              0.15076,
              0.27207,
              0.51502
            ],
            [
              0.05315,
              0.06799,
              0.08096,
              0.10403,
              0.15594,
              0.27206,
              0.51438
            ],
            [
              0.06671,
              0.08383,
              0.09862,
              0.12431,
              0.17082,
              0.27735,
              0.515
            ],
            [
              0.08492,
              0.10503,
              0.12227,
              0.15159,
              0.20111,
              0.29646,
              0.51792
            ],
            [
              0.10931,
              0.1335,
              0.15389,
              0.18815,
              0.24473,
              0.33826,
              0.53853
            ],
            [
              0.1423,
              0.17167,
              0.19588,
              0.23656,
              0.3022,
              0.4081,
              0.5926
            ],
            [
              0.1864,
              0.2223,
              0.2518,
              0.3007,
              0.3784,
              0.5012,
              0.6976
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.05889,
              0.08934,
              0.11972,
              0.17965,
              0.29938,
              0.53822,
              1.01659
            ],
            [
              0.05869,
              0.08936,
              0.11929,
              0.1796,
              0.2994,
              0.53824,
              1.01577
            ],
            [
              0.05867,
              0.08919,
              0.11971,
              0.17968,
              0.29937,
              0.53847,
              1.01685
            ],
            [
              0.05834,
              0.08909,
              0.11955,
              0.17959,
              0.29945,
              0.53825,
              1.016
            ],
            [
              0.05793,
              0.08891,
              0.11942,
              0.17958,
              0.29885,
              0.53852,
              1.01671
            ],
            [
              0.05962,
              0.08828,
              0.11875,
              0.1794,
              0.29917,
              0.53819,
              1.01659
            ],
            [
              0.06786,
              0.09255,
              0.12003,
              0.17871,
              0.29912,
              0.53811,
              1.01664
            ],
            [
              0.08474,
              0.10512,
              0.12923,
              0.18227,
              0.29911,
              0.53845,
              1.01672
            ],
            [
              0.1029,
              0.12989,
              0.15046,
              0.19629,
              0.30263,
              0.53832,
              1.01439
            ],
            [
              0.12638,
              0.15873,
              0.18544,
              0.22863,
              0.32162,
              0.53957,
              1.01601
            ],
            [
              0.15541,
              0.19532,
              0.22772,
              0.28093,
              0.36688,
              0.56183,
              1.0146
            ],
            [
              0.19173,
              0.2404,
              0.2803,
              0.3461,
              0.4468,
              0.6197,
              1.0337
            ],
            [
              0.2371,
              0.2961,
              0.3456,
              0.4264,
              0.5508,
              0.7349,
              1.1007
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03717,
              0.04873,
              0.06009,
              0.08232,
              0.12635,
              0.21402,
              0.38918
            ],
            [
              0.03938,
              0.05116,
              0.0626,
              0.08487,
              0.129,
              0.2167,
              0.39241
            ],
            [
              0.04218,
              0.05411,
              0.0656,
              0.08811,
              0.13234,
              0.22017,
              0.39575
            ],
            [
              0.04655,
              0.05858,
              0.07019,
              0.09284,
              0.13725,
              0.22523,
              0.40076
            ],
            [
              0.05343,
              0.06546,
              0.07719,
              0.09995,
              0.14441,
              0.2324,
              0.40832
            ],
            [
              0.06274,
              0.07604,
              0.08776,
              0.11066,
              0.15521,
              0.24351,
              0.41916
            ],
            [
              0.07337,
              0.08971,
              0.10345,
              0.12675,
              0.17154,
              0.26011,
              0.43585
            ],
            [
              0.08547,
              0.10559,
              0.12238,
              0.15029,
              0.19591,
              0.28473,
              0.46064
            ],
            [
              0.09897,
              0.12376,
              0.14445,
              0.1787,
              0.23247,
              0.32155,
              0.49783
            ],
            [
              0.11369,
              0.14427,
              0.16979,
              0.21192,
              0.27762,
              0.37738,
              0.55338
            ],
            [
              0.12914,
              0.16683,
              0.1982,
              0.25013,
              0.33086,
              0.45242,
              0.63692
            ],
            [
              0.14422,
              0.19077,
              0.22957,
              0.29327,
              0.39267,
              0.54187,
              0.76137
            ],
            [
              0.1569,
              0.2145,
              0.2623,
              0.3409,
              0.4633,
              0.6467,
              0.9141
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07649,
              0.10755,
              0.13795,
              0.19752,
              0.31532,
              0.54973,
              1.01807
            ],
            [
              0.07727,
              0.10871,
              0.13949,
              0.19946,
              0.31726,
              0.55205,
              1.02074
            ],
            [
              0.07868,
              0.11032,
              0.14121,
              0.20167,
              0.32022,
              0.55516,
              1.02402
            ],
            [
              0.0818,
              0.11328,
              0.14449,
              0.20533,
              0.32426,
              0.55949,
              1.02828
            ],
            [
              0.08762,
              0.11872,
              0.14992,
              0.21103,
              0.33002,
              0.56544,
              1.03471
            ],
            [
              0.0978,
              0.12806,
              0.15892,
              0.21986,
              0.33924,
              0.57548,
              1.04532
            ],
            [
              0.11487,
              0.14358,
              0.17373,
              0.23427,
              0.35415,
              0.59056,
              1.05973
            ],
            [
              0.13699,
              0.16907,
              0.19776,
              0.25743,
              0.37706,
              0.61374,
              1.08346
            ],
            [
              0.16242,
              0.20218,
              0.23559,
              0.29383,
              0.41223,
              0.64891,
              1.11835
            ],
            [
              0.19211,
              0.24097,
              0.28203,
              0.35023,
              0.46699,
              0.70259,
              1.17189
            ],
            [
              0.2272,
              0.28651,
              0.33675,
              0.4202,
              0.55222,
              0.78482,
              1.25342
            ],
            [
              0.26967,
              0.34057,
              0.40127,
              0.50307,
              0.66427,
              0.91157,
              1.37877
            ],
            [
              0.3225,
              0.4059,
              0.4781,
              0.6008,
              0.7971,
              1.0956,
              1.5674
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0293,
              0.04435,
              0.05965,
              0.09001,
              0.15072,
              0.27204,
              0.51439
            ],
            [
              0.02929,
              0.04441,
              0.05963,
              0.08987,
              0.15051,
              0.27169,
              0.51513
            ],
            [
              0.02928,
              0.04441,
              0.05957,
              0.09001,
              0.15068,
              0.27202,
              0.51511
            ],
            [
              0.0292,
              0.04436,
              0.05954,
              0.09001,
              0.15072,
              0.2721,
              0.51479
            ],
            [
              0.03054,
              0.0445,
              0.05956,
              0.08994,
              0.15051,
              0.27162,
              0.5151
            ],
            [
              0.03535,
              0.04755,
              0.06106,
              0.09006,
              0.15053,
              0.27192,
              0.51418
            ],
            [
              0.04286,
              0.05544,
              0.06724,
              0.09333,
              0.15076,
              0.27212,
              0.51448
            ],
            [
              0.05243,
              0.0673,
              0.08033,
              0.10353,
              0.1555,
              0.27207,
              0.51486
            ],
            [
              0.0658,
              0.08294,
              0.09776,
              0.12355,
              0.17006,
              0.2772,
              0.51504
            ],
            [
              0.08405,
              0.10416,
              0.12128,
              0.15072,
              0.20027,
              0.29574,
              0.51776
            ],
            [
              0.10855,
              0.13277,
              0.15316,
              0.18713,
              0.2439,
              0.33756,
              0.53839
            ],
            [
              0.14172,
              0.17101,
              0.19523,
              0.2359,
              0.3016,
              0.4074,
              0.5924
            ],
            [
              0.1864,
              0.2226,
              0.2521,
              0.3008,
              0.3785,
              0.5003,
              0.6969
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08547,
              0.12776,
              0.16966,
              0.25245,
              0.41646,
              0.74305,
              1.39662
            ],
            [
              0.08529,
              0.12773,
              0.1699,
              0.25222,
              0.41674,
              0.74333,
              1.39664
            ],
            [
              0.08489,
              0.12771,
              0.16996,
              0.2526,
              0.41617,
              0.74377,
              1.39678
            ],
            [
              0.08441,
              0.12746,
              0.16978,
              0.25224,
              0.41629,
              0.74349,
              1.39665
            ],
            [
              0.0833,
              0.12684,
              0.16918,
              0.25218,
              0.41683,
              0.74409,
              1.39875
            ],
            [
              0.08245,
              0.12557,
              0.16837,
              0.25233,
              0.41684,
              0.74414,
              1.39848
            ],
            [
              0.08804,
              0.12625,
              0.16718,
              0.25166,
              0.4166,
              0.74406,
              1.39827
            ],
            [
              0.10159,
              0.1353,
              0.1722,
              0.25015,
              0.4158,
              0.74412,
              1.39866
            ],
            [
              0.12299,
              0.15564,
              0.18795,
              0.25862,
              0.41499,
              0.74375,
              1.39821
            ],
            [
              0.14501,
              0.18692,
              0.22088,
              0.28379,
              0.42492,
              0.74333,
              1.39823
            ],
            [
              0.17433,
              0.22325,
              0.26428,
              0.3327,
              0.45923,
              0.7503,
              1.3977
            ],
            [
              0.21095,
              0.2691,
              0.3178,
              0.3995,
              0.5287,
              0.7915,
              1.3991
            ],
            [
              0.2575,
              0.3261,
              0.3845,
              0.4824,
              0.6369,
              0.8861,
              1.4394
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03804,
              0.04964,
              0.06099,
              0.08328,
              0.12738,
              0.21526,
              0.39093
            ],
            [
              0.04023,
              0.052,
              0.06347,
              0.08583,
              0.13008,
              0.21802,
              0.3937
            ],
            [
              0.04293,
              0.05487,
              0.06643,
              0.08892,
              0.13325,
              0.22129,
              0.39701
            ],
            [
              0.04725,
              0.05928,
              0.07094,
              0.09362,
              0.13806,
              0.2262,
              0.40202
            ],
            [
              0.05399,
              0.06607,
              0.07782,
              0.10063,
              0.14524,
              0.23347,
              0.40939
            ],
            [
              0.06334,
              0.07654,
              0.0883,
              0.1112,
              0.156,
              0.24436,
              0.42039
            ],
            [
              0.07406,
              0.09025,
              0.10396,
              0.12727,
              0.17213,
              0.26073,
              0.43688
            ],
            [
              0.0864,
              0.10631,
              0.12305,
              0.15084,
              0.19662,
              0.28519,
              0.46153
            ],
            [
              0.10045,
              0.12481,
              0.14532,
              0.17945,
              0.2331,
              0.32231,
              0.49864
            ],
            [
              0.11618,
              0.14612,
              0.17129,
              0.21303,
              0.27858,
              0.37809,
              0.55453
            ],
            [
              0.13332,
              0.17005,
              0.20091,
              0.2521,
              0.33245,
              0.45372,
              0.63872
            ],
            [
              0.15112,
              0.19617,
              0.23407,
              0.29677,
              0.39547,
              0.54417,
              0.76317
            ],
            [
              0.1683,
              0.2236,
              0.27,
              0.347,
              0.468,
              0.6502,
              0.9168
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.08504,
              0.10818,
              0.13104,
              0.17583,
              0.26439,
              0.44055,
              0.79243
            ],
            [
              0.08679,
              0.11017,
              0.13316,
              0.17812,
              0.2669,
              0.44327,
              0.79519
            ],
            [
              0.0891,
              0.11265,
              0.13574,
              0.1809,
              0.26989,
              0.44639,
              0.79853
            ],
            [
              0.09294,
              0.11658,
              0.1398,
              0.18519,
              0.27438,
              0.45111,
              0.80342
            ],
            [
              0.0993,
              0.12296,
              0.14625,
              0.19181,
              0.28123,
              0.45812,
              0.81045
            ],
            [
              0.10976,
              0.13323,
              0.15649,
              0.2021,
              0.2917,
              0.46912,
              0.82187
            ],
            [
              0.12665,
              0.14975,
              0.17281,
              0.21821,
              0.30813,
              0.48564,
              0.83869
            ],
            [
              0.15216,
              0.17574,
              0.19835,
              0.2435,
              0.33314,
              0.51071,
              0.86386
            ],
            [
              0.18221,
              0.21187,
              0.23767,
              0.28249,
              0.37162,
              0.54888,
              0.90235
            ],
            [
              0.21736,
              0.25435,
              0.28641,
              0.3405,
              0.43066,
              0.60724,
              0.96029
            ],
            [
              0.25865,
              0.30422,
              0.34396,
              0.41138,
              0.51902,
              0.69612,
              1.04812
            ],
            [
              0.30737,
              0.36277,
              0.41147,
              0.49487,
              0.62867,
              0.83177,
              1.18187
            ],
            [
              0.3661,
              0.4324,
              0.4914,
              0.5931,
              0.7585,
              1.0104,
              1.3848
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04311,
              0.05818,
              0.07327,
              0.10343,
              0.16389,
              0.28493,
              0.52723
            ],
            [
              0.0431,
              0.05817,
              0.07328,
              0.10346,
              0.16394,
              0.285,
              0.52711
            ],
            [
              0.0431,
              0.05817,
              0.07328,
              0.1035,
              0.16382,
              0.28479,
              0.52729
            ],
            [
              0.04308,
              0.05816,
              0.07325,
              0.10351,
              0.16383,
              0.285,
              0.527
            ],
            [
              0.04449,
              0.05838,
              0.07328,
              0.10348,
              0.16387,
              0.28499,
              0.52731
            ],
            [
              0.04929,
              0.0615,
              0.07492,
              0.10361,
              0.16393,
              0.28482,
              0.52728
            ],
            [
              0.05911,
              0.06948,
              0.08123,
              0.10708,
              0.16406,
              0.28481,
              0.52656
            ],
            [
              0.07167,
              0.08379,
              0.09467,
              0.11742,
              0.16914,
              0.28506,
              0.52669
            ],
            [
              0.08891,
              0.10248,
              0.11514,
              0.1382,
              0.18428,
              0.29021,
              0.52737
            ],
            [
              0.11228,
              0.12763,
              0.14202,
              0.16814,
              0.21438,
              0.30957,
              0.52999
            ],
            [
              0.14353,
              0.16144,
              0.17801,
              0.20799,
              0.26053,
              0.35165,
              0.55228
            ],
            [
              0.18535,
              0.20642,
              0.22593,
              0.26078,
              0.3211,
              0.4229,
              0.6059
            ],
            [
              0.2407,
              0.2664,
              0.2895,
              0.3309,
              0.4014,
              0.518,
              0.7104
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07915,
              0.11084,
              0.14242,
              0.20558,
              0.33097,
              0.58118,
              1.08166
            ],
            [
              0.07927,
              0.11079,
              0.14238,
              0.20567,
              0.33099,
              0.58022,
              1.0806
            ],
            [
              0.07919,
              0.11072,
              0.14242,
              0.20546,
              0.33099,
              0.58028,
              1.08001
            ],
            [
              0.07911,
              0.11063,
              0.14238,
              0.20532,
              0.33073,
              0.58081,
              1.08233
            ],
            [
              0.0789,
              0.11072,
              0.1424,
              0.20546,
              0.33114,
              0.5808,
              1.0816
            ],
            [
              0.07825,
              0.11045,
              0.1422,
              0.20561,
              0.33085,
              0.58111,
              1.08207
            ],
            [
              0.08181,
              0.11105,
              0.1417,
              0.20519,
              0.33109,
              0.58122,
              1.08233
            ],
            [
              0.09378,
              0.11944,
              0.14701,
              0.2059,
              0.33095,
              0.58137,
              1.08167
            ],
            [
              0.11626,
              0.13974,
              0.16392,
              0.21649,
              0.33207,
              0.5809,
              1.08023
            ],
            [
              0.14172,
              0.17231,
              0.19825,
              0.24393,
              0.34701,
              0.58135,
              1.0821
            ],
            [
              0.174,
              0.21144,
              0.24302,
              0.29619,
              0.38766,
              0.5994,
              1.0807
            ],
            [
              0.2146,
              0.2606,
              0.2994,
              0.3637,
              0.4651,
              0.6521,
              1.0947
            ],
            [
              0.2649,
              0.3211,
              0.3688,
              0.4483,
              0.5725,
              0.7614,
              1.1554
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03808,
              0.04971,
              0.06104,
              0.08332,
              0.12744,
              0.21531,
              0.39095
            ],
            [
              0.04032,
              0.05212,
              0.06358,
              0.08595,
              0.13019,
              0.21812,
              0.39381
            ],
            [
              0.04316,
              0.05509,
              0.06663,
              0.08914,
              0.13344,
              0.22144,
              0.39717
            ],
            [
              0.04756,
              0.05959,
              0.07125,
              0.09391,
              0.13837,
              0.2265,
              0.40229
            ],
            [
              0.05447,
              0.06654,
              0.07827,
              0.10105,
              0.14565,
              0.23391,
              0.4098
            ],
            [
              0.06402,
              0.07712,
              0.08889,
              0.11178,
              0.15649,
              0.24492,
              0.42089
            ],
            [
              0.07499,
              0.0911,
              0.10472,
              0.12797,
              0.17285,
              0.26138,
              0.43748
            ],
            [
              0.08751,
              0.10735,
              0.12397,
              0.1517,
              0.1973,
              0.28604,
              0.46228
            ],
            [
              0.1016,
              0.126,
              0.14647,
              0.18047,
              0.23398,
              0.32309,
              0.49937
            ],
            [
              0.11709,
              0.14714,
              0.17238,
              0.21416,
              0.27962,
              0.37912,
              0.55506
            ],
            [
              0.13361,
              0.17057,
              0.20156,
              0.25306,
              0.3334,
              0.45462,
              0.63912
            ],
            [
              0.15019,
              0.19577,
              0.23397,
              0.29717,
              0.39607,
              0.54477,
              0.76397
            ],
            [
              0.1651,
              0.2213,
              0.2683,
              0.346,
              0.4677,
              0.6506,
              0.9182
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.1084,
              0.14008,
              0.17129,
              0.23268,
              0.354,
              0.59548,
              1.07807
            ],
            [
              0.10963,
              0.14161,
              0.17306,
              0.23471,
              0.35629,
              0.59806,
              1.08074
            ],
            [
              0.11133,
              0.14351,
              0.17515,
              0.23709,
              0.35895,
              0.60094,
              1.08352
            ],
            [
              0.11439,
              0.14671,
              0.17852,
              0.24071,
              0.36292,
              0.60516,
              1.08828
            ],
            [
              0.11971,
              0.15205,
              0.18398,
              0.24643,
              0.36902,
              0.61162,
              1.09511
            ],
            [
              0.12894,
              0.16103,
              0.19291,
              0.25548,
              0.37841,
              0.62148,
              1.10512
            ],
            [
              0.14424,
              0.17576,
              0.20742,
              0.26988,
              0.39306,
              0.63634,
              1.12063
            ],
            [
              0.16952,
              0.19961,
              0.23072,
              0.2928,
              0.41575,
              0.65944,
              1.14396
            ],
            [
              0.20297,
              0.23746,
              0.26772,
              0.32874,
              0.45105,
              0.69434,
              1.17925
            ],
            [
              0.24192,
              0.28428,
              0.3213,
              0.38498,
              0.50573,
              0.74809,
              1.23269
            ],
            [
              0.28768,
              0.33945,
              0.38474,
              0.46272,
              0.59012,
              0.83072,
              1.31392
            ],
            [
              0.34197,
              0.40437,
              0.45967,
              0.55487,
              0.70977,
              0.95727,
              1.43807
            ],
            [
              0.4078,
              0.482,
              0.5482,
              0.6636,
              0.8525,
              1.146,
              1.6275
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04297,
              0.058,
              0.07311,
              0.10331,
              0.16358,
              0.28444,
              0.5269
            ],
            [
              0.04295,
              0.05799,
              0.07312,
              0.10333,
              0.16368,
              0.28477,
              0.52698
            ],
            [
              0.04294,
              0.05798,
              0.07312,
              0.10325,
              0.1637,
              0.28476,
              0.52669
            ],
            [
              0.04288,
              0.05793,
              0.07309,
              0.10334,
              0.16361,
              0.28443,
              0.52693
            ],
            [
              0.04417,
              0.05813,
              0.07306,
              0.1033,
              0.16361,
              0.28463,
              0.52699
            ],
            [
              0.04878,
              0.06112,
              0.07463,
              0.10336,
              0.16369,
              0.28459,
              0.5267
            ],
            [
              0.05832,
              0.06877,
              0.08066,
              0.10672,
              0.16389,
              0.2844,
              0.5267
            ],
            [
              0.07063,
              0.08282,
              0.09383,
              0.11674,
              0.16887,
              0.28469,
              0.5267
            ],
            [
              0.08765,
              0.10126,
              0.11398,
              0.13724,
              0.18333,
              0.28983,
              0.52782
            ],
            [
              0.11088,
              0.12639,
              0.14078,
              0.167,
              0.21339,
              0.30884,
              0.52989
            ],
            [
              0.14232,
              0.16031,
              0.17688,
              0.20677,
              0.25944,
              0.35094,
              0.55112
            ],
            [
              0.18415,
              0.20554,
              0.22503,
              0.25989,
              0.3203,
              0.4221,
              0.6053
            ],
            [
              0.2405,
              0.2662,
              0.2893,
              0.3309,
              0.4011,
              0.5176,
              0.709
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11297,
              0.15622,
              0.19932,
              0.28468,
              0.45364,
              0.79239,
              1.46761
            ],
            [
              0.1127,
              0.15599,
              0.1993,
              0.28453,
              0.45405,
              0.79237,
              1.4676
            ],
            [
              0.11278,
              0.15597,
              0.19929,
              0.28457,
              0.45374,
              0.79136,
              1.46839
            ],
            [
              0.11253,
              0.15613,
              0.1993,
              0.28452,
              0.45357,
              0.79239,
              1.46652
            ],
            [
              0.11208,
              0.15584,
              0.19919,
              0.28452,
              0.454,
              0.79232,
              1.46628
            ],
            [
              0.11088,
              0.1552,
              0.19886,
              0.28428,
              0.45347,
              0.79203,
              1.4679
            ],
            [
              0.11094,
              0.15373,
              0.19791,
              0.28423,
              0.45383,
              0.79157,
              1.46764
            ],
            [
              0.11937,
              0.15795,
              0.19854,
              0.28283,
              0.45396,
              0.79129,
              1.46603
            ],
            [
              0.13898,
              0.17333,
              0.20955,
              0.28713,
              0.45305,
              0.79195,
              1.46616
            ],
            [
              0.16639,
              0.20546,
              0.23768,
              0.30705,
              0.45898,
              0.79198,
              1.46606
            ],
            [
              0.19845,
              0.24484,
              0.28521,
              0.35149,
              0.48762,
              0.7954,
              1.4668
            ],
            [
              0.2396,
              0.2945,
              0.3418,
              0.4222,
              0.5534,
              0.8319,
              1.4677
            ],
            [
              0.291,
              0.3561,
              0.413,
              0.5087,
              0.6629,
              0.9197,
              1.5009
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.03808,
              0.04969,
              0.06104,
              0.08332,
              0.12743,
              0.2153,
              0.39095
            ],
            [
              0.04032,
              0.05211,
              0.06357,
              0.08601,
              0.13018,
              0.21811,
              0.39379
            ],
            [
              0.04313,
              0.05506,
              0.06661,
              0.08914,
              0.13343,
              0.22142,
              0.39718
            ],
            [
              0.04753,
              0.05956,
              0.07122,
              0.09387,
              0.13834,
              0.22645,
              0.40225
            ],
            [
              0.0544,
              0.06649,
              0.07821,
              0.101,
              0.14559,
              0.23385,
              0.40974
            ],
            [
              0.06394,
              0.07707,
              0.08882,
              0.11171,
              0.15642,
              0.24487,
              0.42082
            ],
            [
              0.07484,
              0.09098,
              0.10461,
              0.12787,
              0.17275,
              0.26129,
              0.4374
            ],
            [
              0.08734,
              0.10718,
              0.12381,
              0.15158,
              0.19718,
              0.28593,
              0.46217
            ],
            [
              0.10139,
              0.12582,
              0.14628,
              0.1803,
              0.23386,
              0.32295,
              0.49912
            ],
            [
              0.1169,
              0.14695,
              0.17219,
              0.21398,
              0.27945,
              0.37897,
              0.55489
            ],
            [
              0.1335,
              0.17042,
              0.2014,
              0.25288,
              0.33323,
              0.45452,
              0.63892
            ],
            [
              0.15026,
              0.19577,
              0.23397,
              0.29707,
              0.39607,
              0.54457,
              0.76387
            ],
            [
              0.1655,
              0.2215,
              0.2684,
              0.3461,
              0.4677,
              0.6505,
              0.9174
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.12922,
              0.16028,
              0.19067,
              0.25003,
              0.36679,
              0.59792,
              1.05827
            ],
            [
              0.13082,
              0.16204,
              0.19262,
              0.25222,
              0.36915,
              0.60046,
              1.06094
            ],
            [
              0.13292,
              0.16429,
              0.19493,
              0.25476,
              0.37191,
              0.60336,
              1.06412
            ],
            [
              0.13642,
              0.16786,
              0.19861,
              0.25861,
              0.37599,
              0.60776,
              1.06868
            ],
            [
              0.14215,
              0.17361,
              0.20444,
              0.26462,
              0.38228,
              0.61427,
              1.07541
            ],
            [
              0.15151,
              0.1829,
              0.21375,
              0.27401,
              0.39206,
              0.62438,
              1.08592
            ],
            [
              0.16656,
              0.19778,
              0.22853,
              0.28882,
              0.40678,
              0.63952,
              1.10163
            ],
            [
              0.19074,
              0.22149,
              0.25203,
              0.31187,
              0.43004,
              0.66305,
              1.12516
            ],
            [
              0.22883,
              0.25911,
              0.28876,
              0.34821,
              0.46571,
              0.69864,
              1.16105
            ],
            [
              0.27469,
              0.31214,
              0.34546,
              0.40429,
              0.52093,
              0.75299,
              1.21529
            ],
            [
              0.32892,
              0.37457,
              0.41535,
              0.48642,
              0.60592,
              0.83652,
              1.29752
            ],
            [
              0.39277,
              0.44817,
              0.49787,
              0.58507,
              0.72937,
              0.96437,
              1.42337
            ],
            [
              0.469,
              0.5353,
              0.5955,
              0.7014,
              0.8778,
              1.1554,
              1.615
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.05285,
              0.06983,
              0.08625,
              0.11787,
              0.1791,
              0.30004,
              0.54148
            ],
            [
              0.05284,
              0.06982,
              0.08625,
              0.11788,
              0.1791,
              0.29985,
              0.54147
            ],
            [
              0.05284,
              0.06982,
              0.08624,
              0.11786,
              0.17911,
              0.3,
              0.54154
            ],
            [
              0.05279,
              0.0698,
              0.08624,
              0.11786,
              0.17912,
              0.29984,
              0.54155
            ],
            [
              0.05409,
              0.06997,
              0.08622,
              0.11786,
              0.1791,
              0.30004,
              0.5415
            ],
            [
              0.05873,
              0.07297,
              0.08775,
              0.11793,
              0.17912,
              0.29998,
              0.54146
            ],
            [
              0.06887,
              0.08073,
              0.09386,
              0.1213,
              0.1793,
              0.2999,
              0.54154
            ],
            [
              0.08594,
              0.0966,
              0.10713,
              0.13137,
              0.1842,
              0.30001,
              0.54152
            ],
            [
              0.10683,
              0.11852,
              0.13019,
              0.15189,
              0.19884,
              0.30524,
              0.54146
            ],
            [
              0.13491,
              0.1476,
              0.16028,
              0.18449,
              0.22877,
              0.32431,
              0.54449
            ],
            [
              0.17237,
              0.18654,
              0.20072,
              0.22754,
              0.27711,
              0.36582,
              0.56604
            ],
            [
              0.22237,
              0.2383,
              0.25441,
              0.28509,
              0.3409,
              0.4386,
              0.6196
            ],
            [
              0.289,
              0.3073,
              0.3261,
              0.3616,
              0.4261,
              0.5369,
              0.7245
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.12938,
              0.17041,
              0.21148,
              0.29275,
              0.45496,
              0.77837,
              1.42448
            ],
            [
              0.12924,
              0.17039,
              0.21135,
              0.29277,
              0.45511,
              0.77749,
              1.42425
            ],
            [
              0.12931,
              0.1704,
              0.21146,
              0.29285,
              0.45499,
              0.77775,
              1.42477
            ],
            [
              0.12905,
              0.17024,
              0.21121,
              0.29299,
              0.45482,
              0.77753,
              1.42487
            ],
            [
              0.12883,
              0.17024,
              0.21143,
              0.29279,
              0.45511,
              0.77834,
              1.42412
            ],
            [
              0.12871,
              0.17001,
              0.21109,
              0.29279,
              0.45518,
              0.7779,
              1.42276
            ],
            [
              0.12663,
              0.1693,
              0.21095,
              0.29273,
              0.45516,
              0.77777,
              1.42279
            ],
            [
              0.13109,
              0.16958,
              0.20988,
              0.29223,
              0.45503,
              0.77872,
              1.42406
            ],
            [
              0.14624,
              0.18123,
              0.21781,
              0.29379,
              0.45428,
              0.77875,
              1.42506
            ],
            [
              0.17625,
              0.20914,
              0.24169,
              0.31041,
              0.45873,
              0.77849,
              1.42527
            ],
            [
              0.20981,
              0.25221,
              0.28938,
              0.3519,
              0.48538,
              0.7823,
              1.4248
            ],
            [
              0.2536,
              0.3042,
              0.3478,
              0.4233,
              0.548,
              0.8171,
              1.4243
            ],
            [
              0.3086,
              0.3693,
              0.422,
              0.5119,
              0.6575,
              0.9048,
              1.4591
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04274,
              0.05418,
              0.06543,
              0.08755,
              0.13157,
              0.21936,
              0.39474
            ],
            [
              0.04528,
              0.05693,
              0.06829,
              0.09058,
              0.13465,
              0.22229,
              0.39765
            ],
            [
              0.04811,
              0.0599,
              0.07132,
              0.09379,
              0.13796,
              0.22576,
              0.40127
            ],
            [
              0.05213,
              0.06408,
              0.07561,
              0.0982,
              0.14252,
              0.23048,
              0.40601
            ],
            [
              0.05808,
              0.0701,
              0.08175,
              0.10448,
              0.14889,
              0.23709,
              0.41272
            ],
            [
              0.06624,
              0.07908,
              0.09087,
              0.11369,
              0.1584,
              0.24672,
              0.42252
            ],
            [
              0.07627,
              0.09093,
              0.10405,
              0.12743,
              0.17228,
              0.26088,
              0.43692
            ],
            [
              0.08866,
              0.10572,
              0.12073,
              0.14715,
              0.19322,
              0.28205,
              0.45822
            ],
            [
              0.10364,
              0.12399,
              0.14159,
              0.17205,
              0.22371,
              0.31369,
              0.4903
            ],
            [
              0.12107,
              0.14601,
              0.16722,
              0.2032,
              0.26267,
              0.36117,
              0.53823
            ],
            [
              0.14065,
              0.17176,
              0.19787,
              0.24146,
              0.31162,
              0.42424,
              0.61012
            ],
            [
              0.16191,
              0.20107,
              0.23357,
              0.28727,
              0.37207,
              0.50387,
              0.71357
            ],
            [
              0.1847,
              0.2337,
              0.2743,
              0.3411,
              0.4452,
              0.6032,
              0.8456
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.06721,
              0.08582,
              0.10423,
              0.14051,
              0.21261,
              0.35618,
              0.643
            ],
            [
              0.06924,
              0.08794,
              0.1064,
              0.14281,
              0.21495,
              0.35855,
              0.64555
            ],
            [
              0.07186,
              0.09068,
              0.10923,
              0.14574,
              0.21794,
              0.36158,
              0.64861
            ],
            [
              0.07616,
              0.09503,
              0.11367,
              0.15027,
              0.2226,
              0.36636,
              0.65331
            ],
            [
              0.08306,
              0.10195,
              0.12059,
              0.15731,
              0.2297,
              0.37358,
              0.6605
            ],
            [
              0.09403,
              0.11274,
              0.13136,
              0.16807,
              0.24055,
              0.38451,
              0.67159
            ],
            [
              0.11141,
              0.12981,
              0.14829,
              0.18491,
              0.25746,
              0.40151,
              0.68882
            ],
            [
              0.13309,
              0.15527,
              0.17428,
              0.21058,
              0.28291,
              0.42695,
              0.71424
            ],
            [
              0.15808,
              0.18575,
              0.20959,
              0.24986,
              0.32174,
              0.46539,
              0.75253
            ],
            [
              0.18655,
              0.22093,
              0.25065,
              0.30088,
              0.38078,
              0.52378,
              0.81049
            ],
            [
              0.21888,
              0.26105,
              0.29786,
              0.36034,
              0.45992,
              0.61242,
              0.89812
            ],
            [
              0.25587,
              0.30677,
              0.35177,
              0.42867,
              0.55257,
              0.73997,
              1.03117
            ],
            [
              0.2991,
              0.3595,
              0.4133,
              0.5068,
              0.6592,
              0.8925,
              1.2317
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02927,
              0.04434,
              0.05958,
              0.0899,
              0.1506,
              0.27211,
              0.51482
            ],
            [
              0.02926,
              0.04438,
              0.05962,
              0.09004,
              0.15075,
              0.2718,
              0.51425
            ],
            [
              0.02926,
              0.04437,
              0.05955,
              0.09005,
              0.15073,
              0.27193,
              0.51498
            ],
            [
              0.02925,
              0.04438,
              0.05953,
              0.08998,
              0.15068,
              0.27215,
              0.5147
            ],
            [
              0.02993,
              0.04445,
              0.05952,
              0.08995,
              0.1505,
              0.27212,
              0.51502
            ],
            [
              0.03294,
              0.04638,
              0.06064,
              0.09003,
              0.15066,
              0.2721,
              0.51508
            ],
            [
              0.03876,
              0.05169,
              0.06471,
              0.09245,
              0.15085,
              0.27199,
              0.51504
            ],
            [
              0.04652,
              0.06057,
              0.07391,
              0.09937,
              0.15438,
              0.27211,
              0.51446
            ],
            [
              0.05753,
              0.0728,
              0.08701,
              0.11363,
              0.16452,
              0.27631,
              0.51458
            ],
            [
              0.07309,
              0.08999,
              0.1056,
              0.1341,
              0.18624,
              0.28917,
              0.51781
            ],
            [
              0.09531,
              0.11423,
              0.13143,
              0.16231,
              0.21832,
              0.31948,
              0.53255
            ],
            [
              0.12669,
              0.1482,
              0.16743,
              0.2017,
              0.2624,
              0.37,
              0.571
            ],
            [
              0.1701,
              0.195,
              0.2172,
              0.256,
              0.3233,
              0.4399,
              0.6473
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0647,
              0.09092,
              0.11703,
              0.16895,
              0.27264,
              0.47915,
              0.89308
            ],
            [
              0.06467,
              0.09089,
              0.117,
              0.16902,
              0.27258,
              0.48007,
              0.89409
            ],
            [
              0.06463,
              0.0907,
              0.11692,
              0.16918,
              0.27259,
              0.47978,
              0.89429
            ],
            [
              0.0646,
              0.09081,
              0.11687,
              0.16903,
              0.27258,
              0.47916,
              0.89286
            ],
            [
              0.06424,
              0.09051,
              0.1169,
              0.16903,
              0.2724,
              0.47929,
              0.89531
            ],
            [
              0.06539,
              0.0903,
              0.1167,
              0.16879,
              0.27244,
              0.47969,
              0.89508
            ],
            [
              0.07211,
              0.09437,
              0.11833,
              0.16849,
              0.27298,
              0.47973,
              0.89319
            ],
            [
              0.08705,
              0.10641,
              0.12758,
              0.17314,
              0.27214,
              0.47969,
              0.89312
            ],
            [
              0.10689,
              0.13016,
              0.14876,
              0.18893,
              0.27942,
              0.47996,
              0.89394
            ],
            [
              0.13141,
              0.15951,
              0.18325,
              0.22228,
              0.30218,
              0.48563,
              0.89512
            ],
            [
              0.162,
              0.19676,
              0.22578,
              0.27421,
              0.35114,
              0.51439,
              0.8954
            ],
            [
              0.19933,
              0.24228,
              0.2785,
              0.3381,
              0.4314,
              0.5818,
              0.9254
            ],
            [
              0.2452,
              0.2981,
              0.3428,
              0.4173,
              0.5329,
              0.7046,
              1.0099
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04282,
              0.05425,
              0.06551,
              0.08763,
              0.13156,
              0.21943,
              0.39466
            ],
            [
              0.04541,
              0.05702,
              0.06838,
              0.09066,
              0.13475,
              0.22255,
              0.39767
            ],
            [
              0.04829,
              0.06006,
              0.07152,
              0.09385,
              0.13812,
              0.22597,
              0.40144
            ],
            [
              0.05235,
              0.0643,
              0.07587,
              0.09842,
              0.14264,
              0.23054,
              0.40625
            ],
            [
              0.05833,
              0.0704,
              0.08208,
              0.10477,
              0.14928,
              0.23737,
              0.41297
            ],
            [
              0.06657,
              0.0794,
              0.09119,
              0.11404,
              0.15875,
              0.24704,
              0.42277
            ],
            [
              0.07662,
              0.09134,
              0.10445,
              0.12784,
              0.17266,
              0.26129,
              0.43731
            ],
            [
              0.08903,
              0.10612,
              0.12114,
              0.14759,
              0.19365,
              0.28248,
              0.45849
            ],
            [
              0.10399,
              0.12438,
              0.14201,
              0.17249,
              0.22415,
              0.31408,
              0.49078
            ],
            [
              0.12138,
              0.14636,
              0.1676,
              0.20362,
              0.26312,
              0.36162,
              0.53871
            ],
            [
              0.14086,
              0.17201,
              0.19816,
              0.24181,
              0.31205,
              0.4247,
              0.61062
            ],
            [
              0.1618,
              0.20107,
              0.23367,
              0.28747,
              0.37237,
              0.50427,
              0.71397
            ],
            [
              0.1837,
              0.233,
              0.2739,
              0.3409,
              0.4453,
              0.6034,
              0.846
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07553,
              0.09717,
              0.11861,
              0.16096,
              0.24497,
              0.41239,
              0.74705
            ],
            [
              0.07733,
              0.0991,
              0.12061,
              0.16308,
              0.24716,
              0.4147,
              0.7493
            ],
            [
              0.07973,
              0.10161,
              0.12321,
              0.16577,
              0.24997,
              0.41749,
              0.7523
            ],
            [
              0.08368,
              0.10566,
              0.12737,
              0.17008,
              0.25442,
              0.42206,
              0.75675
            ],
            [
              0.09019,
              0.11216,
              0.1339,
              0.17673,
              0.26116,
              0.42905,
              0.76387
            ],
            [
              0.10066,
              0.12243,
              0.14415,
              0.18696,
              0.2715,
              0.43948,
              0.77457
            ],
            [
              0.11748,
              0.13878,
              0.16032,
              0.20305,
              0.28766,
              0.45563,
              0.79075
            ],
            [
              0.14036,
              0.16426,
              0.18532,
              0.22768,
              0.31206,
              0.48006,
              0.8153
            ],
            [
              0.1666,
              0.19615,
              0.2218,
              0.26559,
              0.34943,
              0.51713,
              0.85225
            ],
            [
              0.19657,
              0.23308,
              0.26483,
              0.31879,
              0.40644,
              0.57331,
              0.90799
            ],
            [
              0.2307,
              0.27533,
              0.3144,
              0.3811,
              0.48812,
              0.65892,
              0.99242
            ],
            [
              0.27007,
              0.32367,
              0.37117,
              0.45287,
              0.58517,
              0.78707,
              1.12067
            ],
            [
              0.3163,
              0.3797,
              0.4365,
              0.5352,
              0.6972,
              0.9465,
              1.3151
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02928,
              0.04437,
              0.05962,
              0.0899,
              0.1505,
              0.27215,
              0.51449
            ],
            [
              0.02926,
              0.04433,
              0.05955,
              0.09,
              0.1507,
              0.2722,
              0.51412
            ],
            [
              0.02926,
              0.04437,
              0.05961,
              0.0899,
              0.1507,
              0.27212,
              0.51501
            ],
            [
              0.02924,
              0.04437,
              0.05957,
              0.08997,
              0.1505,
              0.2718,
              0.51499
            ],
            [
              0.02988,
              0.04447,
              0.05959,
              0.08997,
              0.1507,
              0.27199,
              0.51457
            ],
            [
              0.03284,
              0.04627,
              0.06053,
              0.09003,
              0.15067,
              0.27207,
              0.5146
            ],
            [
              0.03862,
              0.05155,
              0.06461,
              0.09226,
              0.15077,
              0.27203,
              0.51501
            ],
            [
              0.04637,
              0.06033,
              0.07371,
              0.09922,
              0.15421,
              0.27205,
              0.51428
            ],
            [
              0.05728,
              0.07258,
              0.08683,
              0.11336,
              0.16435,
              0.27617,
              0.51462
            ],
            [
              0.07289,
              0.08972,
              0.10533,
              0.13381,
              0.18598,
              0.28896,
              0.51779
            ],
            [
              0.09498,
              0.11398,
              0.13111,
              0.16208,
              0.21803,
              0.31925,
              0.53236
            ],
            [
              0.12632,
              0.14787,
              0.16714,
              0.2015,
              0.2622,
              0.3696,
              0.5708
            ],
            [
              0.1698,
              0.1949,
              0.2169,
              0.2559,
              0.3231,
              0.4396,
              0.6471
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07698,
              0.10738,
              0.13768,
              0.19817,
              0.31823,
              0.55742,
              1.03511
            ],
            [
              0.07692,
              0.10731,
              0.1379,
              0.19815,
              0.31827,
              0.55756,
              1.03533
            ],
            [
              0.07665,
              0.10724,
              0.13764,
              0.19811,
              0.31823,
              0.55781,
              1.03492
            ],
            [
              0.07656,
              0.10723,
              0.13788,
              0.19815,
              0.31826,
              0.55734,
              1.03652
            ],
            [
              0.07622,
              0.10689,
              0.13757,
              0.19814,
              0.3181,
              0.55695,
              1.03529
            ],
            [
              0.07614,
              0.10631,
              0.13713,
              0.19785,
              0.31805,
              0.55733,
              1.03658
            ],
            [
              0.08169,
              0.10865,
              0.13751,
              0.19765,
              0.3182,
              0.55782,
              1.03586
            ],
            [
              0.09518,
              0.11902,
              0.14481,
              0.19984,
              0.31786,
              0.55772,
              1.03503
            ],
            [
              0.11588,
              0.14108,
              0.16387,
              0.21298,
              0.32135,
              0.557,
              1.03503
            ],
            [
              0.14019,
              0.17143,
              0.19845,
              0.24334,
              0.34015,
              0.55966,
              1.0368
            ],
            [
              0.17108,
              0.20894,
              0.24113,
              0.29491,
              0.38417,
              0.58238,
              1.0357
            ],
            [
              0.2087,
              0.255,
              0.2944,
              0.3598,
              0.4633,
              0.6419,
              1.0574
            ],
            [
              0.255,
              0.3115,
              0.3596,
              0.4402,
              0.5668,
              0.7575,
              1.1284
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04281,
              0.05424,
              0.06551,
              0.08768,
              0.13165,
              0.2194,
              0.39476
            ],
            [
              0.04541,
              0.05703,
              0.06838,
              0.09062,
              0.13476,
              0.22247,
              0.3979
            ],
            [
              0.04825,
              0.06003,
              0.07151,
              0.09392,
              0.13809,
              0.22583,
              0.40134
            ],
            [
              0.05231,
              0.06427,
              0.07583,
              0.09835,
              0.14269,
              0.23059,
              0.40619
            ],
            [
              0.05828,
              0.07033,
              0.08197,
              0.10472,
              0.14919,
              0.23734,
              0.41295
            ],
            [
              0.0665,
              0.07932,
              0.09109,
              0.11396,
              0.15863,
              0.24696,
              0.42277
            ],
            [
              0.07653,
              0.0912,
              0.10435,
              0.12774,
              0.17255,
              0.26123,
              0.4372
            ],
            [
              0.08892,
              0.10601,
              0.12103,
              0.14747,
              0.19354,
              0.28237,
              0.45863
            ],
            [
              0.10389,
              0.12428,
              0.1419,
              0.17237,
              0.22404,
              0.31397,
              0.49067
            ],
            [
              0.12129,
              0.14626,
              0.16749,
              0.2035,
              0.263,
              0.3615,
              0.53859
            ],
            [
              0.14079,
              0.17193,
              0.19808,
              0.24171,
              0.31193,
              0.42457,
              0.61052
            ],
            [
              0.16181,
              0.20107,
              0.23367,
              0.28747,
              0.37237,
              0.50417,
              0.71387
            ],
            [
              0.184,
              0.2332,
              0.274,
              0.3409,
              0.4452,
              0.6034,
              0.8459
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07353,
              0.09433,
              0.11491,
              0.15559,
              0.23618,
              0.39688,
              0.7181
            ],
            [
              0.07539,
              0.09628,
              0.11693,
              0.15776,
              0.23847,
              0.39913,
              0.72043
            ],
            [
              0.07783,
              0.09885,
              0.1196,
              0.16051,
              0.24126,
              0.40211,
              0.72342
            ],
            [
              0.08186,
              0.10298,
              0.1238,
              0.16479,
              0.24572,
              0.40675,
              0.72799
            ],
            [
              0.08847,
              0.10958,
              0.13047,
              0.17154,
              0.25262,
              0.41364,
              0.73493
            ],
            [
              0.09904,
              0.11997,
              0.14082,
              0.18194,
              0.26309,
              0.42423,
              0.74593
            ],
            [
              0.11598,
              0.1365,
              0.1572,
              0.19821,
              0.27939,
              0.44071,
              0.76232
            ],
            [
              0.13856,
              0.162,
              0.18245,
              0.22312,
              0.30413,
              0.46537,
              0.78693
            ],
            [
              0.16444,
              0.19349,
              0.21865,
              0.26138,
              0.34186,
              0.50274,
              0.82435
            ],
            [
              0.19398,
              0.22992,
              0.26112,
              0.31407,
              0.39942,
              0.55959,
              0.88069
            ],
            [
              0.22759,
              0.27157,
              0.31002,
              0.37558,
              0.48052,
              0.64592,
              0.96602
            ],
            [
              0.26627,
              0.31917,
              0.36597,
              0.44647,
              0.57647,
              0.77427,
              1.09557
            ],
            [
              0.3117,
              0.3743,
              0.4303,
              0.5276,
              0.6869,
              0.9318,
              1.2917
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02926,
              0.04436,
              0.05964,
              0.09001,
              0.15064,
              0.27212,
              0.51482
            ],
            [
              0.02927,
              0.04439,
              0.05961,
              0.08993,
              0.15072,
              0.27213,
              0.51486
            ],
            [
              0.02924,
              0.04435,
              0.05962,
              0.09004,
              0.15069,
              0.27193,
              0.515
            ],
            [
              0.02924,
              0.04437,
              0.05956,
              0.08995,
              0.15064,
              0.27184,
              0.51511
            ],
            [
              0.0299,
              0.0445,
              0.05954,
              0.08998,
              0.15062,
              0.27205,
              0.5147
            ],
            [
              0.0329,
              0.0463,
              0.06059,
              0.09,
              0.1506,
              0.27207,
              0.51485
            ],
            [
              0.03864,
              0.05156,
              0.06461,
              0.09232,
              0.15075,
              0.2721,
              0.51503
            ],
            [
              0.04639,
              0.06046,
              0.07377,
              0.09926,
              0.15424,
              0.27204,
              0.51472
            ],
            [
              0.05734,
              0.07265,
              0.08687,
              0.11342,
              0.1644,
              0.27619,
              0.51463
            ],
            [
              0.07295,
              0.08983,
              0.10541,
              0.13389,
              0.18605,
              0.28901,
              0.51783
            ],
            [
              0.09507,
              0.11403,
              0.13119,
              0.16216,
              0.21811,
              0.31932,
              0.53241
            ],
            [
              0.1265,
              0.14795,
              0.16724,
              0.2016,
              0.2622,
              0.3697,
              0.5709
            ],
            [
              0.17,
              0.195,
              0.2171,
              0.2559,
              0.3232,
              0.4396,
              0.6471
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.07351,
              0.10259,
              0.13165,
              0.18982,
              0.30524,
              0.53542,
              0.99688
            ],
            [
              0.0733,
              0.10247,
              0.13185,
              0.18979,
              0.30524,
              0.53566,
              0.99499
            ],
            [
              0.07331,
              0.10241,
              0.1319,
              0.18981,
              0.30526,
              0.53534,
              0.99523
            ],
            [
              0.07318,
              0.1024,
              0.13174,
              0.18966,
              0.30524,
              0.53467,
              0.99703
            ],
            [
              0.07289,
              0.10211,
              0.13181,
              0.18955,
              0.30524,
              0.53549,
              0.99668
            ],
            [
              0.07315,
              0.10177,
              0.13135,
              0.18952,
              0.30524,
              0.53564,
              0.99686
            ],
            [
              0.07887,
              0.10466,
              0.13199,
              0.18919,
              0.30501,
              0.53561,
              0.99697
            ],
            [
              0.09282,
              0.11543,
              0.13994,
              0.19208,
              0.30451,
              0.53569,
              0.99675
            ],
            [
              0.11339,
              0.13809,
              0.15954,
              0.20577,
              0.30874,
              0.53448,
              0.99537
            ],
            [
              0.13781,
              0.16804,
              0.19417,
              0.23709,
              0.32937,
              0.53878,
              0.99514
            ],
            [
              0.16849,
              0.20556,
              0.23689,
              0.28912,
              0.37512,
              0.56363,
              0.9945
            ],
            [
              0.20619,
              0.2515,
              0.29,
              0.3538,
              0.4544,
              0.6255,
              1.0185
            ],
            [
              0.2523,
              0.3078,
              0.355,
              0.4338,
              0.5573,
              0.7424,
              1.0948
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04291,
              0.05434,
              0.06559,
              0.08777,
              0.13172,
              0.21941,
              0.39453
            ],
            [
              0.0456,
              0.0572,
              0.06857,
              0.09082,
              0.13478,
              0.22274,
              0.398
            ],
            [
              0.04854,
              0.06033,
              0.07182,
              0.0942,
              0.13831,
              0.22603,
              0.40161
            ],
            [
              0.05272,
              0.06466,
              0.07624,
              0.09879,
              0.14305,
              0.23092,
              0.40662
            ],
            [
              0.05881,
              0.0709,
              0.08255,
              0.10526,
              0.1498,
              0.23791,
              0.41324
            ],
            [
              0.0672,
              0.08003,
              0.09183,
              0.11469,
              0.15935,
              0.24758,
              0.42351
            ],
            [
              0.07739,
              0.0921,
              0.10521,
              0.12856,
              0.17342,
              0.26206,
              0.43795
            ],
            [
              0.0899,
              0.10703,
              0.12205,
              0.14847,
              0.1945,
              0.28333,
              0.4595
            ],
            [
              0.10492,
              0.12536,
              0.14302,
              0.17349,
              0.22511,
              0.315,
              0.49167
            ],
            [
              0.12228,
              0.14732,
              0.1686,
              0.20467,
              0.26417,
              0.36261,
              0.53955
            ],
            [
              0.14153,
              0.17277,
              0.199,
              0.24276,
              0.3131,
              0.42574,
              0.61162
            ],
            [
              0.16182,
              0.20127,
              0.23407,
              0.28807,
              0.37327,
              0.50537,
              0.71497
            ],
            [
              0.182,
              0.2318,
              0.273,
              0.3405,
              0.4455,
              0.6041,
              0.8469
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09622,
              0.12573,
              0.15509,
              0.21313,
              0.32821,
              0.55771,
              1.01667
            ],
            [
              0.09751,
              0.12722,
              0.15672,
              0.21491,
              0.3301,
              0.55976,
              1.01854
            ],
            [
              0.09941,
              0.1293,
              0.15887,
              0.21719,
              0.33262,
              0.5623,
              1.02142
            ],
            [
              0.10268,
              0.1327,
              0.16243,
              0.22093,
              0.33652,
              0.56644,
              1.02538
            ],
            [
              0.10833,
              0.13836,
              0.16815,
              0.22683,
              0.34261,
              0.57273,
              1.03201
            ],
            [
              0.11773,
              0.14754,
              0.17728,
              0.236,
              0.35198,
              0.58228,
              1.04172
            ],
            [
              0.13309,
              0.1623,
              0.19185,
              0.25051,
              0.36656,
              0.59707,
              1.05673
            ],
            [
              0.15747,
              0.18584,
              0.21479,
              0.27305,
              0.38885,
              0.61943,
              1.07926
            ],
            [
              0.18671,
              0.22097,
              0.25109,
              0.30799,
              0.42325,
              0.6533,
              1.11315
            ],
            [
              0.22046,
              0.26222,
              0.29895,
              0.3623,
              0.4761,
              0.70519,
              1.16459
            ],
            [
              0.25919,
              0.30979,
              0.35448,
              0.43149,
              0.55742,
              0.78472,
              1.24262
            ],
            [
              0.30417,
              0.36467,
              0.41847,
              0.51187,
              0.66477,
              0.90587,
              1.36127
            ],
            [
              0.3577,
              0.4288,
              0.4927,
              0.6047,
              0.7898,
              1.0797,
              1.5423
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.02925,
              0.04438,
              0.05962,
              0.09001,
              0.15063,
              0.27203,
              0.51426
            ],
            [
              0.02927,
              0.04435,
              0.05961,
              0.08998,
              0.15041,
              0.27214,
              0.51474
            ],
            [
              0.02928,
              0.04438,
              0.05963,
              0.09004,
              0.1506,
              0.27179,
              0.51499
            ],
            [
              0.02925,
              0.04432,
              0.05959,
              0.09,
              0.15065,
              0.27175,
              0.51489
            ],
            [
              0.02984,
              0.04447,
              0.05955,
              0.08993,
              0.1507,
              0.2721,
              0.5143
            ],
            [
              0.0327,
              0.0462,
              0.06049,
              0.09003,
              0.15062,
              0.27185,
              0.51507
            ],
            [
              0.0384,
              0.05122,
              0.06438,
              0.09228,
              0.15074,
              0.27208,
              0.51488
            ],
            [
              0.04597,
              0.06002,
              0.07332,
              0.0989,
              0.15411,
              0.27202,
              0.51486
            ],
            [
              0.05677,
              0.07206,
              0.08628,
              0.11285,
              0.16395,
              0.27598,
              0.51451
            ],
            [
              0.07226,
              0.08915,
              0.10466,
              0.13309,
              0.18535,
              0.28907,
              0.51748
            ],
            [
              0.09423,
              0.11319,
              0.13036,
              0.16137,
              0.21732,
              0.3186,
              0.53211
            ],
            [
              0.12527,
              0.14701,
              0.16628,
              0.2008,
              0.2614,
              0.369,
              0.5704
            ],
            [
              0.1686,
              0.1939,
              0.2164,
              0.2553,
              0.3226,
              0.4389,
              0.6464
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.11002,
              0.15155,
              0.19271,
              0.27484,
              0.43733,
              0.76115,
              1.40788
            ],
            [
              0.10974,
              0.15163,
              0.19298,
              0.27482,
              0.43706,
              0.7608,
              1.40882
            ],
            [
              0.10976,
              0.15138,
              0.1927,
              0.27441,
              0.43734,
              0.76094,
              1.40811
            ],
            [
              0.10939,
              0.15111,
              0.19282,
              0.27481,
              0.43697,
              0.76092,
              1.40883
            ],
            [
              0.10838,
              0.15084,
              0.19244,
              0.27454,
              0.43731,
              0.76132,
              1.40724
            ],
            [
              0.10725,
              0.14999,
              0.19206,
              0.27453,
              0.43707,
              0.76128,
              1.40663
            ],
            [
              0.10938,
              0.14927,
              0.19069,
              0.27406,
              0.43662,
              0.76104,
              1.40679
            ],
            [
              0.1194,
              0.15573,
              0.19334,
              0.27278,
              0.43686,
              0.76092,
              1.40707
            ],
            [
              0.14072,
              0.17298,
              0.20723,
              0.27989,
              0.43605,
              0.76055,
              1.4064
            ],
            [
              0.16431,
              0.20506,
              0.23769,
              0.30321,
              0.44529,
              0.76016,
              1.4067
            ],
            [
              0.19475,
              0.24152,
              0.28216,
              0.35012,
              0.47915,
              0.7686,
              1.408
            ],
            [
              0.23294,
              0.2882,
              0.336,
              0.4171,
              0.5489,
              0.8119,
              1.4102
            ],
            [
              0.2804,
              0.3458,
              0.403,
              0.4997,
              0.6555,
              0.9082,
              1.4563
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04367,
              0.05514,
              0.06641,
              0.08862,
              0.13268,
              0.22054,
              0.39617
            ],
            [
              0.04627,
              0.05793,
              0.06931,
              0.09162,
              0.13576,
              0.22369,
              0.39935
            ],
            [
              0.04912,
              0.06095,
              0.07245,
              0.09486,
              0.13913,
              0.22708,
              0.4028
            ],
            [
              0.05323,
              0.06519,
              0.07679,
              0.09935,
              0.14375,
              0.23184,
              0.4076
            ],
            [
              0.0592,
              0.07127,
              0.08298,
              0.10573,
              0.15028,
              0.23851,
              0.41442
            ],
            [
              0.06755,
              0.0803,
              0.0921,
              0.11501,
              0.15978,
              0.24818,
              0.4242
            ],
            [
              0.07776,
              0.09235,
              0.10545,
              0.12882,
              0.17381,
              0.26245,
              0.43864
            ],
            [
              0.09042,
              0.10734,
              0.1223,
              0.14869,
              0.1948,
              0.28372,
              0.46016
            ],
            [
              0.10576,
              0.12592,
              0.14343,
              0.1738,
              0.2254,
              0.31557,
              0.49232
            ],
            [
              0.12376,
              0.14837,
              0.16943,
              0.20525,
              0.26464,
              0.36314,
              0.54052
            ],
            [
              0.14412,
              0.17472,
              0.20058,
              0.24392,
              0.31393,
              0.42651,
              0.61272
            ],
            [
              0.16644,
              0.20487,
              0.23697,
              0.29037,
              0.37487,
              0.50657,
              0.71627
            ],
            [
              0.1905,
              0.2385,
              0.2787,
              0.3449,
              0.4486,
              0.6064,
              0.8488
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09308,
              0.11418,
              0.13511,
              0.17642,
              0.25831,
              0.42124,
              0.74664
            ],
            [
              0.09503,
              0.11619,
              0.13721,
              0.17859,
              0.2605,
              0.42354,
              0.74896
            ],
            [
              0.0976,
              0.11886,
              0.1399,
              0.18138,
              0.26345,
              0.42648,
              0.75182
            ],
            [
              0.10171,
              0.12305,
              0.14419,
              0.18576,
              0.26787,
              0.431,
              0.75647
            ],
            [
              0.10832,
              0.1297,
              0.15087,
              0.19251,
              0.27467,
              0.43799,
              0.76343
            ],
            [
              0.1187,
              0.14005,
              0.16122,
              0.20291,
              0.28517,
              0.44853,
              0.77443
            ],
            [
              0.13517,
              0.15636,
              0.17748,
              0.21916,
              0.30148,
              0.46501,
              0.79078
            ],
            [
              0.16062,
              0.18154,
              0.20244,
              0.24392,
              0.32615,
              0.4896,
              0.81535
            ],
            [
              0.19202,
              0.21775,
              0.24067,
              0.28188,
              0.36372,
              0.5269,
              0.85275
            ],
            [
              0.22833,
              0.26017,
              0.28851,
              0.33779,
              0.42102,
              0.58359,
              0.90899
            ],
            [
              0.26981,
              0.30898,
              0.34399,
              0.40499,
              0.50522,
              0.66972,
              0.99402
            ],
            [
              0.31727,
              0.36477,
              0.40767,
              0.48277,
              0.60677,
              0.79947,
              1.12337
            ],
            [
              0.3722,
              0.4289,
              0.4806,
              0.572,
              0.7243,
              0.9627,
              1.3191
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.0431,
              0.05817,
              0.07329,
              0.10348,
              0.1639,
              0.28488,
              0.52742
            ],
            [
              0.04312,
              0.05816,
              0.0733,
              0.10346,
              0.16391,
              0.28501,
              0.527
            ],
            [
              0.04309,
              0.05816,
              0.0733,
              0.10351,
              0.16379,
              0.28492,
              0.52748
            ],
            [
              0.0431,
              0.0581,
              0.07327,
              0.10344,
              0.16395,
              0.28477,
              0.52663
            ],
            [
              0.04374,
              0.05824,
              0.07328,
              0.10345,
              0.16394,
              0.28492,
              0.52727
            ],
            [
              0.04663,
              0.06012,
              0.07428,
              0.1036,
              0.16391,
              0.28497,
              0.52778
            ],
            [
              0.05306,
              0.06513,
              0.0783,
              0.10599,
              0.16412,
              0.28473,
              0.52757
            ],
            [
              0.06274,
              0.07526,
              0.08737,
              0.1127,
              0.16775,
              0.28481,
              0.52766
            ],
            [
              0.07607,
              0.08934,
              0.10229,
              0.12729,
              0.17764,
              0.28924,
              0.52748
            ],
            [
              0.09481,
              0.10908,
              0.12291,
              0.14928,
              0.19929,
              0.3025,
              0.53071
            ],
            [
              0.12142,
              0.1367,
              0.15166,
              0.18011,
              0.23305,
              0.33201,
              0.54667
            ],
            [
              0.15904,
              0.17553,
              0.1918,
              0.2224,
              0.2793,
              0.3841,
              0.5839
            ],
            [
              0.2108,
              0.2292,
              0.2471,
              0.2811,
              0.3433,
              0.4558,
              0.6596
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.09019,
              0.11993,
              0.14946,
              0.20844,
              0.32569,
              0.55841,
              1.02691
            ],
            [
              0.09013,
              0.11977,
              0.14942,
              0.20843,
              0.32577,
              0.55843,
              1.02685
            ],
            [
              0.09012,
              0.11989,
              0.14938,
              0.20838,
              0.32566,
              0.55907,
              1.02538
            ],
            [
              0.09003,
              0.11984,
              0.14949,
              0.20836,
              0.32558,
              0.55906,
              1.02678
            ],
            [
              0.08986,
              0.11972,
              0.1494,
              0.20824,
              0.32572,
              0.55891,
              1.02628
            ],
            [
              0.08938,
              0.11949,
              0.14929,
              0.20843,
              0.32559,
              0.55933,
              1.02666
            ],
            [
              0.09187,
              0.1199,
              0.14886,
              0.20794,
              0.32531,
              0.55927,
              1.02677
            ],
            [
              0.10231,
              0.12744,
              0.15383,
              0.20904,
              0.32549,
              0.55946,
              1.02639
            ],
            [
              0.12425,
              0.1467,
              0.17006,
              0.22006,
              0.32765,
              0.55919,
              1.02461
            ],
            [
              0.15063,
              0.17909,
              0.20363,
              0.24791,
              0.34456,
              0.56109,
              1.026
            ],
            [
              0.18426,
              0.21893,
              0.24871,
              0.29973,
              0.38692,
              0.58211,
              1.0252
            ],
            [
              0.226,
              0.2684,
              0.3049,
              0.3665,
              0.4656,
              0.6413,
              1.0466
            ],
            [
              0.2772,
              0.3289,
              0.3737,
              0.4499,
              0.5706,
              0.7554,
              1.1168
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04376,
              0.05522,
              0.06648,
              0.08871,
              0.13276,
              0.22061,
              0.39624
            ],
            [
              0.04642,
              0.05809,
              0.06947,
              0.09177,
              0.13594,
              0.22383,
              0.39949
            ],
            [
              0.04937,
              0.0612,
              0.07272,
              0.09509,
              0.13936,
              0.22734,
              0.40303
            ],
            [
              0.05356,
              0.06555,
              0.07715,
              0.09971,
              0.14411,
              0.2322,
              0.40801
            ],
            [
              0.05967,
              0.07176,
              0.08349,
              0.10623,
              0.15077,
              0.239,
              0.41489
            ],
            [
              0.0682,
              0.08092,
              0.09274,
              0.11567,
              0.16042,
              0.24881,
              0.42482
            ],
            [
              0.07851,
              0.09313,
              0.10622,
              0.12959,
              0.17456,
              0.26319,
              0.43939
            ],
            [
              0.09131,
              0.10826,
              0.12324,
              0.14958,
              0.19565,
              0.28457,
              0.46099
            ],
            [
              0.10668,
              0.12691,
              0.14444,
              0.1748,
              0.22638,
              0.31649,
              0.49326
            ],
            [
              0.12459,
              0.1493,
              0.17041,
              0.2063,
              0.26569,
              0.36409,
              0.54143
            ],
            [
              0.14472,
              0.17544,
              0.20138,
              0.24485,
              0.31496,
              0.42755,
              0.61362
            ],
            [
              0.16637,
              0.20497,
              0.23727,
              0.29087,
              0.37567,
              0.50757,
              0.71727
            ],
            [
              0.1886,
              0.2372,
              0.2777,
              0.3445,
              0.4488,
              0.607,
              0.8497
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.12165,
              0.15085,
              0.1799,
              0.23726,
              0.35101,
              0.57752,
              1.03047
            ],
            [
              0.12314,
              0.15248,
              0.18164,
              0.23909,
              0.35303,
              0.57971,
              1.03234
            ],
            [
              0.12527,
              0.1547,
              0.18393,
              0.24155,
              0.35548,
              0.58232,
              1.03522
            ],
            [
              0.12874,
              0.15829,
              0.1876,
              0.24535,
              0.35955,
              0.58644,
              1.03938
            ],
            [
              0.13446,
              0.16408,
              0.19346,
              0.25136,
              0.3657,
              0.5928,
              1.04571
            ],
            [
              0.14372,
              0.17328,
              0.20269,
              0.26064,
              0.3751,
              0.60241,
              1.05562
            ],
            [
              0.15854,
              0.18792,
              0.21726,
              0.27521,
              0.38975,
              0.61727,
              1.07063
            ],
            [
              0.18218,
              0.21093,
              0.24,
              0.29772,
              0.41213,
              0.6397,
              1.09326
            ],
            [
              0.21705,
              0.24743,
              0.27548,
              0.33257,
              0.44657,
              0.67365,
              1.12735
            ],
            [
              0.25778,
              0.29463,
              0.32788,
              0.38653,
              0.49937,
              0.72569,
              1.17899
            ],
            [
              0.30466,
              0.34951,
              0.38995,
              0.46112,
              0.58042,
              0.80532,
              1.25722
            ],
            [
              0.35867,
              0.41267,
              0.46167,
              0.54817,
              0.69277,
              0.92667,
              1.37607
            ],
            [
              0.4218,
              0.4859,
              0.5444,
              0.6487,
              0.8241,
              1.1034,
              1.5575
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04291,
              0.05795,
              0.07313,
              0.10333,
              0.16375,
              0.28442,
              0.52671
            ],
            [
              0.04292,
              0.05797,
              0.07311,
              0.10331,
              0.16368,
              0.28468,
              0.5267
            ],
            [
              0.04292,
              0.05795,
              0.07315,
              0.10331,
              0.1637,
              0.28475,
              0.5267
            ],
            [
              0.04296,
              0.05796,
              0.07311,
              0.10329,
              0.16379,
              0.28441,
              0.52707
            ],
            [
              0.04348,
              0.05802,
              0.07314,
              0.10329,
              0.16368,
              0.28444,
              0.52747
            ],
            [
              0.04624,
              0.0598,
              0.07402,
              0.10338,
              0.16369,
              0.28462,
              0.52639
            ],
            [
              0.05256,
              0.06466,
              0.07787,
              0.10566,
              0.16385,
              0.28462,
              0.52691
            ],
            [
              0.06208,
              0.07464,
              0.08679,
              0.1122,
              0.1674,
              0.28472,
              0.52683
            ],
            [
              0.07526,
              0.08856,
              0.10153,
              0.12657,
              0.17726,
              0.28906,
              0.52694
            ],
            [
              0.09387,
              0.1081,
              0.1219,
              0.14845,
              0.19857,
              0.30179,
              0.53098
            ],
            [
              0.12025,
              0.13564,
              0.1506,
              0.17894,
              0.23212,
              0.33138,
              0.54564
            ],
            [
              0.1575,
              0.17426,
              0.19063,
              0.2213,
              0.2784,
              0.3834,
              0.5833
            ],
            [
              0.2094,
              0.2279,
              0.2461,
              0.2802,
              0.3426,
              0.4547,
              0.6587
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.13067,
              0.17152,
              0.21266,
              0.29334,
              0.45406,
              0.77305,
              1.41151
            ],
            [
              0.1306,
              0.17174,
              0.21244,
              0.29316,
              0.454,
              0.7737,
              1.41429
            ],
            [
              0.13037,
              0.17169,
              0.21251,
              0.2933,
              0.45388,
              0.77357,
              1.41361
            ],
            [
              0.13027,
              0.17154,
              0.21251,
              0.29353,
              0.4543,
              0.77349,
              1.41356
            ],
            [
              0.12996,
              0.17109,
              0.21215,
              0.29326,
              0.45362,
              0.77453,
              1.41433
            ],
            [
              0.12908,
              0.17082,
              0.21219,
              0.29332,
              0.45419,
              0.77324,
              1.41291
            ],
            [
              0.12846,
              0.16942,
              0.21135,
              0.29305,
              0.45366,
              0.77421,
              1.4129
            ],
            [
              0.13462,
              0.1723,
              0.21153,
              0.292,
              0.45374,
              0.77388,
              1.41229
            ],
            [
              0.15207,
              0.18629,
              0.22185,
              0.29605,
              0.4526,
              0.77391,
              1.41234
            ],
            [
              0.18052,
              0.21632,
              0.24875,
              0.31596,
              0.46046,
              0.77355,
              1.4118
            ],
            [
              0.21351,
              0.25686,
              0.29515,
              0.36003,
              0.49037,
              0.781,
              1.4118
            ],
            [
              0.2559,
              0.3069,
              0.3519,
              0.4293,
              0.5571,
              0.8211,
              1.4153
            ],
            [
              0.3082,
              0.3694,
              0.4228,
              0.5149,
              0.6653,
              0.9157,
              1.4593
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.04373,
              0.05521,
              0.06648,
              0.08868,
              0.13276,
              0.22059,
              0.39626
            ],
            [
              0.04641,
              0.05809,
              0.06944,
              0.09178,
              0.13591,
              0.22381,
              0.39948
            ],
            [
              0.04935,
              0.06117,
              0.07266,
              0.09508,
              0.13933,
              0.2273,
              0.403
            ],
            [
              0.05352,
              0.06551,
              0.07711,
              0.09968,
              0.14406,
              0.23214,
              0.40792
            ],
            [
              0.05961,
              0.07171,
              0.08342,
              0.10617,
              0.15072,
              0.23894,
              0.41483
            ],
            [
              0.06809,
              0.08084,
              0.09266,
              0.11558,
              0.16032,
              0.24873,
              0.42474
            ],
            [
              0.07839,
              0.09303,
              0.10611,
              0.12948,
              0.17447,
              0.26309,
              0.4393
            ],
            [
              0.09114,
              0.10812,
              0.12308,
              0.14945,
              0.19553,
              0.28446,
              0.46089
            ],
            [
              0.10651,
              0.12672,
              0.14426,
              0.17467,
              0.22622,
              0.31635,
              0.49311
            ],
            [
              0.12446,
              0.14913,
              0.17022,
              0.20612,
              0.26553,
              0.36398,
              0.5413
            ],
            [
              0.1446,
              0.1753,
              0.20123,
              0.24468,
              0.31479,
              0.42737,
              0.61352
            ],
            [
              0.16631,
              0.20487,
              0.23717,
              0.29077,
              0.37547,
              0.50737,
              0.71707
            ],
            [
              0.1888,
              0.2373,
              0.2778,
              0.3445,
              0.4487,
              0.6069,
              0.8495
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.14039,
              0.16884,
              0.19698,
              0.25228,
              0.36132,
              0.57765,
              1.00867
            ],
            [
              0.14202,
              0.17061,
              0.1988,
              0.25418,
              0.36337,
              0.57973,
              1.01094
            ],
            [
              0.14432,
              0.17294,
              0.20122,
              0.25669,
              0.36595,
              0.58237,
              1.01342
            ],
            [
              0.14802,
              0.17672,
              0.20505,
              0.26062,
              0.37,
              0.58664,
              1.01788
            ],
            [
              0.15402,
              0.18274,
              0.21113,
              0.26681,
              0.3763,
              0.59309,
              1.02441
            ],
            [
              0.1635,
              0.19221,
              0.2206,
              0.27633,
              0.38599,
              0.60282,
              1.03422
            ],
            [
              0.17844,
              0.20711,
              0.23548,
              0.29123,
              0.40095,
              0.61799,
              1.04963
            ],
            [
              0.2016,
              0.23019,
              0.25846,
              0.31409,
              0.42371,
              0.64077,
              1.07256
            ],
            [
              0.23867,
              0.26617,
              0.29397,
              0.34927,
              0.45859,
              0.67547,
              1.10725
            ],
            [
              0.28506,
              0.31828,
              0.34864,
              0.40343,
              0.512,
              0.72819,
              1.15969
            ],
            [
              0.33894,
              0.37931,
              0.41623,
              0.48182,
              0.59372,
              0.80872,
              1.23902
            ],
            [
              0.40087,
              0.44977,
              0.49457,
              0.57447,
              0.70957,
              0.93147,
              1.35967
            ],
            [
              0.4726,
              0.5309,
              0.5848,
              0.6815,
              0.8461,
              1.1108,
              1.5436
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.05284,
              0.06981,
              0.08624,
              0.11785,
              0.17909,
              0.30004,
              0.54141
            ],
            [
              0.05284,
              0.06982,
              0.08624,
              0.11788,
              0.17911,
              0.30004,
              0.54152
            ],
            [
              0.05283,
              0.06982,
              0.08622,
              0.11786,
              0.1791,
              0.30003,
              0.54149
            ],
            [
              0.05284,
              0.06979,
              0.08624,
              0.11786,
              0.17911,
              0.29999,
              0.54136
            ],
            [
              0.0534,
              0.06989,
              0.08625,
              0.11786,
              0.17908,
              0.29985,
              0.54136
            ],
            [
              0.05618,
              0.07166,
              0.08718,
              0.11795,
              0.17911,
              0.30003,
              0.54158
            ],
            [
              0.06288,
              0.07655,
              0.09103,
              0.12021,
              0.17935,
              0.30005,
              0.5416
            ],
            [
              0.07589,
              0.08784,
              0.10002,
              0.12679,
              0.18286,
              0.30015,
              0.54156
            ],
            [
              0.09235,
              0.10462,
              0.11702,
              0.14125,
              0.19269,
              0.30431,
              0.54157
            ],
            [
              0.11461,
              0.1273,
              0.14014,
              0.16537,
              0.21389,
              0.31745,
              0.54474
            ],
            [
              0.14535,
              0.15848,
              0.1719,
              0.19834,
              0.24924,
              0.34659,
              0.56019
            ],
            [
              0.18827,
              0.20176,
              0.21583,
              0.2439,
              0.2979,
              0.3997,
              0.5976
            ],
            [
              0.2478,
              0.2617,
              0.2768,
              0.3069,
              0.3649,
              0.4731,
              0.674
            ]
          ]
        },
        "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.00155,
            0.00311,
            0.00622,
            0.01243,
            0.02485,
            0.04971
          ],
          "values": [
            [
              0.14398,
              0.18286,
              0.22193,
              0.29931,
              0.45233,
              0.75746,
              1.36843
            ],
            [
              0.14394,
              0.18299,
              0.22209,
              0.29937,
              0.45228,
              0.75756,
              1.36734
            ],
            [
              0.14392,
              0.18301,
              0.22196,
              0.29929,
              0.45256,
              0.75845,
              1.36875
            ],
            [
              0.1438,
              0.18302,
              0.22192,
              0.29916,
              0.45225,
              0.75808,
              1.36887
            ],
            [
              0.14352,
              0.18276,
              0.22205,
              0.29936,
              0.45234,
              0.75727,
              1.36879
            ],
            [
              0.14317,
              0.18279,
              0.22187,
              0.29903,
              0.45251,
              0.75815,
              1.36837
            ],
            [
              0.14178,
              0.18186,
              0.22131,
              0.29915,
              0.45275,
              0.75758,
              1.36781
            ],
            [
              0.14513,
              0.18232,
              0.22039,
              0.29848,
              0.4528,
              0.75851,
              1.369
            ],
            [
              0.15909,
              0.19305,
              0.22821,
              0.30051,
              0.4516,
              0.75833,
              1.36873
            ],
            [
              0.18852,
              0.21998,
              0.2519,
              0.31789,
              0.45754,
              0.75829,
              1.36856
            ],
            [
              0.2231,
              0.26307,
              0.29835,
              0.35962,
              0.48629,
              0.7649,
              1.3689
            ],
            [
              0.2683,
              0.3153,
              0.3571,
              0.4298,
              0.5518,
              0.8039,
              1.3696
            ],
            [
              0.3244,
              0.381,
              0.4311,
              0.5174,
              0.66,
              0.8984,
              1.4167
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}