{
  "area": 35.1648,
  "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.0116,
    "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.03064,
          0.02994,
          0.02963,
          0.02951,
          0.02968,
          0.02967,
          0.02969,
          0.02969,
          0.02966,
          0.03214,
          0.03218,
          0.03537,
          0.03497
        ]
      },
      "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.01649,
          0.01722,
          0.017,
          0.0174,
          0.01762,
          0.01764,
          0.01784,
          0.01795,
          0.01796,
          0.01941,
          0.01921,
          0.02036,
          0.01996
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.01116,
    "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.03066,
          0.0298,
          0.02966,
          0.02973,
          0.02973,
          0.02966,
          0.0296,
          0.03016,
          0.02959,
          0.03204,
          0.03209,
          0.03463,
          0.03485
        ]
      },
      "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.01727,
          0.01744,
          0.01764,
          0.01764,
          0.01784,
          0.01806,
          0.01825,
          0.01834,
          0.01834,
          0.01982,
          0.0196,
          0.02068,
          0.0201
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.01129,
    "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.03088,
          0.0297,
          0.02987,
          0.02979,
          0.02984,
          0.02968,
          0.02958,
          0.02961,
          0.02957,
          0.03204,
          0.03207,
          0.03523,
          0.03485
        ]
      },
      "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.01671,
          0.01732,
          0.01783,
          0.01785,
          0.01801,
          0.01821,
          0.01848,
          0.01854,
          0.01856,
          0.02002,
          0.0198,
          0.02103,
          0.02025
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.01183,
    "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.01883,
          0.01722,
          0.01878,
          0.01867,
          0.01889,
          0.01954,
          0.01923,
          0.01933,
          0.01945,
          0.02107,
          0.02106,
          0.02269,
          0.02279
        ]
      },
      "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.0297,
          0.03012,
          0.02914,
          0.02957,
          0.02943,
          0.03013,
          0.02948,
          0.02944,
          0.02939,
          0.03178,
          0.03171,
          0.0349,
          0.03527
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.01186,
    "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.01564,
          0.0158,
          0.01612,
          0.01629,
          0.01648,
          0.01654,
          0.01681,
          0.01691,
          0.01692,
          0.01828,
          0.01807,
          0.01925,
          0.01887
        ]
      },
      "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.03035,
          0.02974,
          0.0299,
          0.02998,
          0.02998,
          0.03093,
          0.03002,
          0.02998,
          0.02997,
          0.03249,
          0.03259,
          0.03541,
          0.03671
        ]
      }
    },
    "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02479,
              0.01899,
              0.01314,
              0.00153,
              -0.02172,
              -0.06827,
              -0.16143
            ],
            [
              0.02487,
              0.01916,
              0.01335,
              0.0017,
              -0.02154,
              -0.0681,
              -0.16125
            ],
            [
              0.02509,
              0.0193,
              0.01344,
              0.00178,
              -0.02147,
              -0.06802,
              -0.16117
            ],
            [
              0.0254,
              0.01954,
              0.01371,
              0.00209,
              -0.02118,
              -0.06769,
              -0.16086
            ],
            [
              0.0257,
              0.01984,
              0.01401,
              0.00235,
              -0.02092,
              -0.06749,
              -0.16066
            ],
            [
              0.02612,
              0.02024,
              0.01436,
              0.0027,
              -0.02063,
              -0.06723,
              -0.16043
            ],
            [
              0.02662,
              0.0207,
              0.0148,
              0.00307,
              -0.02031,
              -0.06697,
              -0.16017
            ],
            [
              0.02719,
              0.02122,
              0.01529,
              0.00351,
              -0.01996,
              -0.06667,
              -0.15994
            ],
            [
              0.02773,
              0.02175,
              0.0158,
              0.00397,
              -0.01956,
              -0.06637,
              -0.15971
            ],
            [
              0.02818,
              0.02223,
              0.01629,
              0.00443,
              -0.01912,
              -0.06603,
              -0.15944
            ],
            [
              0.02841,
              0.0225,
              0.01657,
              0.00478,
              -0.0188,
              -0.06574,
              -0.15923
            ],
            [
              0.02822,
              0.02238,
              0.01655,
              0.00483,
              -0.01865,
              -0.06559,
              -0.15904
            ],
            [
              0.02735,
              0.02164,
              0.01589,
              0.00431,
              -0.01895,
              -0.06571,
              -0.15908
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09683,
              0.10296,
              0.10893,
              0.1206,
              0.14379,
              0.18984,
              0.28203
            ],
            [
              0.09655,
              0.10281,
              0.1088,
              0.12061,
              0.1438,
              0.18985,
              0.28207
            ],
            [
              0.09625,
              0.10255,
              0.10861,
              0.12049,
              0.14377,
              0.18987,
              0.28209
            ],
            [
              0.09596,
              0.10218,
              0.10835,
              0.12026,
              0.1436,
              0.18986,
              0.28204
            ],
            [
              0.09557,
              0.10184,
              0.10797,
              0.11996,
              0.14347,
              0.18977,
              0.28199
            ],
            [
              0.09519,
              0.10141,
              0.10754,
              0.11959,
              0.14314,
              0.18949,
              0.2821
            ],
            [
              0.09483,
              0.101,
              0.10709,
              0.11913,
              0.14276,
              0.18924,
              0.28182
            ],
            [
              0.09448,
              0.10058,
              0.10665,
              0.11861,
              0.14224,
              0.18887,
              0.28169
            ],
            [
              0.0942,
              0.10024,
              0.10623,
              0.11816,
              0.14177,
              0.18852,
              0.28126
            ],
            [
              0.094,
              0.09999,
              0.10592,
              0.11774,
              0.14125,
              0.188,
              0.28087
            ],
            [
              0.09406,
              0.09988,
              0.10572,
              0.1175,
              0.14087,
              0.18757,
              0.28029
            ],
            [
              0.09407,
              0.09995,
              0.10581,
              0.11737,
              0.14062,
              0.18708,
              0.27992
            ],
            [
              0.09403,
              0.1,
              0.10586,
              0.11752,
              0.14056,
              0.18677,
              0.27935
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02499,
              0.01918,
              0.01339,
              0.00179,
              -0.02145,
              -0.068,
              -0.16119
            ],
            [
              0.02517,
              0.01936,
              0.01356,
              0.00197,
              -0.02128,
              -0.06781,
              -0.16099
            ],
            [
              0.02526,
              0.01947,
              0.01367,
              0.00207,
              -0.02118,
              -0.06771,
              -0.16086
            ],
            [
              0.02555,
              0.01975,
              0.01395,
              0.00227,
              -0.02099,
              -0.0675,
              -0.16062
            ],
            [
              0.02579,
              0.02001,
              0.01416,
              0.00253,
              -0.02073,
              -0.06727,
              -0.1604
            ],
            [
              0.02613,
              0.0203,
              0.01448,
              0.00281,
              -0.02045,
              -0.06702,
              -0.16017
            ],
            [
              0.02653,
              0.02066,
              0.01481,
              0.00313,
              -0.02017,
              -0.06678,
              -0.15997
            ],
            [
              0.02699,
              0.02108,
              0.01519,
              0.00347,
              -0.01989,
              -0.06655,
              -0.15976
            ],
            [
              0.02749,
              0.02156,
              0.01565,
              0.00388,
              -0.01957,
              -0.06629,
              -0.15956
            ],
            [
              0.028,
              0.02207,
              0.01614,
              0.00435,
              -0.01917,
              -0.06598,
              -0.15932
            ],
            [
              0.02838,
              0.02245,
              0.01653,
              0.00473,
              -0.01881,
              -0.06568,
              -0.15912
            ],
            [
              0.02856,
              0.02267,
              0.01678,
              0.00501,
              -0.0185,
              -0.0654,
              -0.15888
            ],
            [
              0.02832,
              0.02248,
              0.01663,
              0.00494,
              -0.01848,
              -0.0653,
              -0.15877
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.10816,
              0.11396,
              0.1198,
              0.13129,
              0.15429,
              0.20023,
              0.29235
            ],
            [
              0.10806,
              0.11389,
              0.11973,
              0.13135,
              0.15436,
              0.20037,
              0.29246
            ],
            [
              0.10791,
              0.1138,
              0.11963,
              0.13123,
              0.15431,
              0.20029,
              0.2922
            ],
            [
              0.10752,
              0.11346,
              0.11934,
              0.13101,
              0.15409,
              0.20022,
              0.29219
            ],
            [
              0.1072,
              0.11318,
              0.11908,
              0.13079,
              0.15399,
              0.20011,
              0.29216
            ],
            [
              0.10684,
              0.11278,
              0.11873,
              0.13049,
              0.15374,
              0.19994,
              0.29218
            ],
            [
              0.10649,
              0.11243,
              0.11838,
              0.1302,
              0.15351,
              0.19984,
              0.2919
            ],
            [
              0.10613,
              0.11213,
              0.11801,
              0.1298,
              0.15319,
              0.19947,
              0.29184
            ],
            [
              0.10586,
              0.11177,
              0.11771,
              0.12939,
              0.15284,
              0.1992,
              0.29168
            ],
            [
              0.10565,
              0.11153,
              0.11744,
              0.12916,
              0.15247,
              0.19894,
              0.29124
            ],
            [
              0.1056,
              0.1114,
              0.11724,
              0.12896,
              0.15221,
              0.19856,
              0.29109
            ],
            [
              0.10572,
              0.11154,
              0.11731,
              0.12883,
              0.15202,
              0.19828,
              0.29093
            ],
            [
              0.10569,
              0.11158,
              0.11739,
              0.12898,
              0.15194,
              0.19809,
              0.29063
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02542,
              0.01961,
              0.01381,
              0.00222,
              -0.02102,
              -0.06756,
              -0.16073
            ],
            [
              0.02562,
              0.01982,
              0.01401,
              0.00242,
              -0.02082,
              -0.06735,
              -0.16051
            ],
            [
              0.02577,
              0.02001,
              0.01415,
              0.00254,
              -0.0207,
              -0.06724,
              -0.16038
            ],
            [
              0.02598,
              0.02018,
              0.01437,
              0.00277,
              -0.02048,
              -0.06701,
              -0.16014
            ],
            [
              0.02625,
              0.02047,
              0.01464,
              0.00304,
              -0.02023,
              -0.06678,
              -0.15993
            ],
            [
              0.02662,
              0.02077,
              0.01493,
              0.00329,
              -0.01998,
              -0.06655,
              -0.15969
            ],
            [
              0.02698,
              0.02113,
              0.01527,
              0.0036,
              -0.01972,
              -0.06632,
              -0.15949
            ],
            [
              0.02744,
              0.02153,
              0.01566,
              0.00394,
              -0.01944,
              -0.06609,
              -0.1593
            ],
            [
              0.02791,
              0.02199,
              0.01608,
              0.00433,
              -0.01912,
              -0.06583,
              -0.15911
            ],
            [
              0.02842,
              0.02248,
              0.01656,
              0.00478,
              -0.01873,
              -0.06552,
              -0.15886
            ],
            [
              0.02877,
              0.02285,
              0.01693,
              0.00514,
              -0.01837,
              -0.06523,
              -0.15866
            ],
            [
              0.02894,
              0.02306,
              0.01717,
              0.00541,
              -0.01809,
              -0.06495,
              -0.15842
            ],
            [
              0.02874,
              0.0229,
              0.01704,
              0.00535,
              -0.01807,
              -0.06488,
              -0.15832
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11806,
              0.1239,
              0.12968,
              0.14118,
              0.16414,
              0.21018,
              0.30215
            ],
            [
              0.11777,
              0.12361,
              0.12937,
              0.1409,
              0.16392,
              0.2098,
              0.30175
            ],
            [
              0.11767,
              0.12353,
              0.12934,
              0.14084,
              0.16385,
              0.20989,
              0.30179
            ],
            [
              0.11749,
              0.12333,
              0.12915,
              0.14069,
              0.16371,
              0.20969,
              0.30151
            ],
            [
              0.1173,
              0.12315,
              0.12896,
              0.14052,
              0.16358,
              0.20965,
              0.30154
            ],
            [
              0.11711,
              0.12293,
              0.12879,
              0.14036,
              0.16343,
              0.20949,
              0.30153
            ],
            [
              0.11689,
              0.12276,
              0.12864,
              0.14023,
              0.16334,
              0.2095,
              0.30143
            ],
            [
              0.11669,
              0.12255,
              0.12842,
              0.14006,
              0.16325,
              0.20936,
              0.30148
            ],
            [
              0.11651,
              0.12242,
              0.12826,
              0.13987,
              0.16298,
              0.20917,
              0.3013
            ],
            [
              0.11649,
              0.12228,
              0.12815,
              0.13974,
              0.16288,
              0.209,
              0.30112
            ],
            [
              0.11642,
              0.12219,
              0.12804,
              0.13963,
              0.1628,
              0.20889,
              0.30108
            ],
            [
              0.11657,
              0.12234,
              0.12813,
              0.13958,
              0.16272,
              0.20888,
              0.30099
            ],
            [
              0.1166,
              0.12247,
              0.12827,
              0.1398,
              0.16273,
              0.20865,
              0.30099
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.00965,
              0.0038,
              -0.00218,
              -0.01398,
              -0.03761,
              -0.08429,
              -0.17751
            ],
            [
              0.01025,
              0.00401,
              -0.00205,
              -0.01402,
              -0.03751,
              -0.08422,
              -0.1775
            ],
            [
              0.01062,
              0.00426,
              -0.00186,
              -0.01386,
              -0.03741,
              -0.08412,
              -0.17744
            ],
            [
              0.01103,
              0.00456,
              -0.00163,
              -0.01371,
              -0.03729,
              -0.08415,
              -0.17744
            ],
            [
              0.01146,
              0.00497,
              -0.0013,
              -0.01343,
              -0.03717,
              -0.08408,
              -0.17742
            ],
            [
              0.012,
              0.00548,
              -0.00084,
              -0.01308,
              -0.03695,
              -0.08394,
              -0.17737
            ],
            [
              0.01249,
              0.006,
              -0.00031,
              -0.01263,
              -0.03662,
              -0.08376,
              -0.17728
            ],
            [
              0.01292,
              0.00653,
              0.00023,
              -0.0121,
              -0.03621,
              -0.08349,
              -0.17713
            ],
            [
              0.0132,
              0.00695,
              0.00071,
              -0.01155,
              -0.0357,
              -0.08314,
              -0.17692
            ],
            [
              0.01323,
              0.00714,
              0.00102,
              -0.01111,
              -0.03519,
              -0.08272,
              -0.17663
            ],
            [
              0.01287,
              0.00695,
              0.00104,
              -0.01091,
              -0.03481,
              -0.08234,
              -0.17632
            ],
            [
              0.01203,
              0.00631,
              0.00052,
              -0.01119,
              -0.03478,
              -0.08197,
              -0.176
            ],
            [
              0.01028,
              0.00478,
              -0.00078,
              -0.01215,
              -0.0353,
              -0.0821,
              -0.1759
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04646,
              0.05281,
              0.05881,
              0.07056,
              0.09381,
              0.14002,
              0.23214
            ],
            [
              0.04604,
              0.0523,
              0.05854,
              0.07028,
              0.0937,
              0.13996,
              0.23197
            ],
            [
              0.0456,
              0.05206,
              0.05825,
              0.07017,
              0.09356,
              0.13987,
              0.23218
            ],
            [
              0.04519,
              0.05162,
              0.0578,
              0.0699,
              0.09339,
              0.13984,
              0.23213
            ],
            [
              0.04477,
              0.05118,
              0.05738,
              0.06947,
              0.09314,
              0.13966,
              0.23209
            ],
            [
              0.0444,
              0.05069,
              0.05688,
              0.06901,
              0.09272,
              0.13934,
              0.23187
            ],
            [
              0.0441,
              0.05027,
              0.05638,
              0.06848,
              0.09222,
              0.13898,
              0.2316
            ],
            [
              0.0439,
              0.04994,
              0.05599,
              0.06798,
              0.09171,
              0.1385,
              0.23126
            ],
            [
              0.04391,
              0.04978,
              0.05572,
              0.06762,
              0.09121,
              0.13796,
              0.23088
            ],
            [
              0.04419,
              0.04995,
              0.05578,
              0.0675,
              0.09086,
              0.1375,
              0.23019
            ],
            [
              0.04474,
              0.05047,
              0.05622,
              0.06762,
              0.09075,
              0.13716,
              0.22976
            ],
            [
              0.04576,
              0.0515,
              0.05705,
              0.06837,
              0.09107,
              0.13712,
              0.22937
            ],
            [
              0.04729,
              0.0528,
              0.05839,
              0.06968,
              0.09223,
              0.1377,
              0.22962
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.00992,
              0.00393,
              -0.00204,
              -0.01392,
              -0.0373,
              -0.08396,
              -0.17716
            ],
            [
              0.01017,
              0.00405,
              -0.00192,
              -0.01382,
              -0.03723,
              -0.08392,
              -0.17714
            ],
            [
              0.01044,
              0.00414,
              -0.00182,
              -0.01367,
              -0.03714,
              -0.08386,
              -0.1771
            ],
            [
              0.01082,
              0.00443,
              -0.00164,
              -0.01364,
              -0.03714,
              -0.08394,
              -0.1772
            ],
            [
              0.01127,
              0.0048,
              -0.00137,
              -0.01339,
              -0.03706,
              -0.08389,
              -0.17723
            ],
            [
              0.01181,
              0.00531,
              -0.00096,
              -0.01311,
              -0.03687,
              -0.0838,
              -0.17718
            ],
            [
              0.01236,
              0.00588,
              -0.00042,
              -0.01268,
              -0.03659,
              -0.08364,
              -0.17709
            ],
            [
              0.01287,
              0.00645,
              0.00015,
              -0.01214,
              -0.03618,
              -0.08338,
              -0.17697
            ],
            [
              0.01328,
              0.00695,
              0.00072,
              -0.01156,
              -0.03567,
              -0.08302,
              -0.17675
            ],
            [
              0.01352,
              0.00733,
              0.00117,
              -0.01101,
              -0.0351,
              -0.08258,
              -0.17646
            ],
            [
              0.01352,
              0.00747,
              0.00141,
              -0.01064,
              -0.03461,
              -0.08209,
              -0.17611
            ],
            [
              0.01311,
              0.0072,
              0.00127,
              -0.01059,
              -0.03435,
              -0.0817,
              -0.17575
            ],
            [
              0.01202,
              0.0063,
              0.00053,
              -0.01111,
              -0.03457,
              -0.08162,
              -0.17553
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.05842,
              0.06447,
              0.07029,
              0.08193,
              0.10496,
              0.15097,
              0.24288
            ],
            [
              0.05819,
              0.06411,
              0.07004,
              0.08161,
              0.10463,
              0.15067,
              0.24262
            ],
            [
              0.05787,
              0.06383,
              0.06971,
              0.08139,
              0.10459,
              0.15063,
              0.24261
            ],
            [
              0.05756,
              0.06356,
              0.06949,
              0.0812,
              0.10445,
              0.15053,
              0.24252
            ],
            [
              0.05716,
              0.06324,
              0.06918,
              0.08098,
              0.10423,
              0.15038,
              0.24248
            ],
            [
              0.05684,
              0.06287,
              0.06884,
              0.08064,
              0.10395,
              0.1502,
              0.24241
            ],
            [
              0.05655,
              0.06257,
              0.06852,
              0.08036,
              0.1037,
              0.14994,
              0.24216
            ],
            [
              0.05632,
              0.06227,
              0.06823,
              0.08,
              0.10335,
              0.14969,
              0.24192
            ],
            [
              0.05627,
              0.06217,
              0.06809,
              0.07974,
              0.10304,
              0.14931,
              0.24166
            ],
            [
              0.05657,
              0.06235,
              0.06818,
              0.07975,
              0.10293,
              0.14917,
              0.24142
            ],
            [
              0.05726,
              0.06293,
              0.06854,
              0.07998,
              0.10301,
              0.14919,
              0.24117
            ],
            [
              0.05819,
              0.06388,
              0.06955,
              0.08082,
              0.10354,
              0.14934,
              0.24125
            ],
            [
              0.05997,
              0.06556,
              0.0712,
              0.08244,
              0.10488,
              0.1502,
              0.24157
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.09117,
    "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09459,
              0.11039,
              0.12552,
              0.15464,
              0.21067,
              0.31928,
              0.53251
            ],
            [
              0.09675,
              0.11258,
              0.12772,
              0.15684,
              0.21288,
              0.32151,
              0.53471
            ],
            [
              0.09947,
              0.1153,
              0.13047,
              0.15958,
              0.21564,
              0.32427,
              0.53748
            ],
            [
              0.10364,
              0.1195,
              0.13467,
              0.16384,
              0.21993,
              0.3286,
              0.54187
            ],
            [
              0.11006,
              0.12596,
              0.1412,
              0.17041,
              0.22652,
              0.33521,
              0.54859
            ],
            [
              0.11986,
              0.13584,
              0.15112,
              0.18041,
              0.23661,
              0.34541,
              0.55877
            ],
            [
              0.13479,
              0.15089,
              0.16623,
              0.19563,
              0.25194,
              0.36085,
              0.57433
            ],
            [
              0.15885,
              0.17418,
              0.18938,
              0.21881,
              0.27527,
              0.38432,
              0.5979
            ],
            [
              0.19093,
              0.20871,
              0.22499,
              0.25436,
              0.31054,
              0.41969,
              0.6332
            ],
            [
              0.22883,
              0.25008,
              0.26944,
              0.30429,
              0.36439,
              0.47313,
              0.68689
            ],
            [
              0.2723,
              0.29811,
              0.32137,
              0.36344,
              0.43546,
              0.55412,
              0.76752
            ],
            [
              0.32057,
              0.35197,
              0.38047,
              0.43157,
              0.51927,
              0.66207,
              0.88907
            ],
            [
              0.3723,
              0.4106,
              0.4454,
              0.508,
              0.6152,
              0.7889,
              1.0607
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.13777,
              0.16389,
              0.18872,
              0.23683,
              0.33201,
              0.51995,
              0.89503
            ],
            [
              0.14008,
              0.16654,
              0.19163,
              0.24008,
              0.3355,
              0.52389,
              0.89912
            ],
            [
              0.14301,
              0.16969,
              0.19497,
              0.24375,
              0.33953,
              0.52806,
              0.90398
            ],
            [
              0.14788,
              0.17458,
              0.20012,
              0.24918,
              0.34531,
              0.53444,
              0.90965
            ],
            [
              0.1557,
              0.18239,
              0.20785,
              0.25738,
              0.35344,
              0.54288,
              0.91887
            ],
            [
              0.16825,
              0.19472,
              0.22031,
              0.26978,
              0.36657,
              0.55611,
              0.93272
            ],
            [
              0.1878,
              0.21393,
              0.23932,
              0.28877,
              0.38589,
              0.57581,
              0.95303
            ],
            [
              0.21689,
              0.24273,
              0.26792,
              0.31719,
              0.41428,
              0.60467,
              0.98236
            ],
            [
              0.25803,
              0.28457,
              0.30968,
              0.3585,
              0.45538,
              0.646,
              1.02415
            ],
            [
              0.30883,
              0.34027,
              0.36861,
              0.41917,
              0.51585,
              0.70679,
              1.08479
            ],
            [
              0.37184,
              0.40959,
              0.44301,
              0.50252,
              0.60522,
              0.79602,
              1.17542
            ],
            [
              0.44707,
              0.49507,
              0.53677,
              0.60837,
              0.72897,
              0.92977,
              1.30907
            ],
            [
              0.5343,
              0.597,
              0.6504,
              0.7408,
              0.8873,
              1.1216,
              1.5096
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09251,
              0.11042,
              0.12826,
              0.16399,
              0.23616,
              0.38114,
              0.67265
            ],
            [
              0.09255,
              0.11045,
              0.12837,
              0.1642,
              0.23617,
              0.38097,
              0.67272
            ],
            [
              0.09264,
              0.11042,
              0.12835,
              0.164,
              0.23622,
              0.38114,
              0.67265
            ],
            [
              0.09272,
              0.11044,
              0.12829,
              0.1641,
              0.23607,
              0.38127,
              0.67276
            ],
            [
              0.09295,
              0.11056,
              0.12832,
              0.16417,
              0.23621,
              0.38126,
              0.67266
            ],
            [
              0.09092,
              0.11002,
              0.12837,
              0.16416,
              0.23605,
              0.38127,
              0.67228
            ],
            [
              0.09012,
              0.10817,
              0.12644,
              0.16336,
              0.23618,
              0.38124,
              0.67223
            ],
            [
              0.09479,
              0.11164,
              0.1287,
              0.16335,
              0.23527,
              0.3811,
              0.67237
            ],
            [
              0.10721,
              0.1241,
              0.13978,
              0.17185,
              0.23878,
              0.38059,
              0.67212
            ],
            [
              0.12388,
              0.14381,
              0.16193,
              0.19419,
              0.25564,
              0.38708,
              0.67196
            ],
            [
              0.14868,
              0.17158,
              0.19216,
              0.22891,
              0.29334,
              0.41408,
              0.6791
            ],
            [
              0.1836,
              0.2108,
              0.2347,
              0.2769,
              0.3492,
              0.4728,
              0.7159
            ],
            [
              0.2305,
              0.2635,
              0.2923,
              0.3423,
              0.4257,
              0.5643,
              0.8012
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09187,
              0.12469,
              0.15693,
              0.22235,
              0.35173,
              0.60961,
              1.12258
            ],
            [
              0.09165,
              0.12447,
              0.15715,
              0.2223,
              0.35164,
              0.60941,
              1.12349
            ],
            [
              0.09182,
              0.12474,
              0.15702,
              0.22229,
              0.35182,
              0.60936,
              1.12368
            ],
            [
              0.09184,
              0.12435,
              0.15723,
              0.22228,
              0.35188,
              0.60907,
              1.12297
            ],
            [
              0.09202,
              0.12432,
              0.15708,
              0.22222,
              0.35168,
              0.60963,
              1.12299
            ],
            [
              0.09218,
              0.1248,
              0.15706,
              0.22233,
              0.35184,
              0.60889,
              1.12307
            ],
            [
              0.09257,
              0.12485,
              0.15695,
              0.22239,
              0.35143,
              0.609,
              1.12287
            ],
            [
              0.09317,
              0.12502,
              0.15752,
              0.2224,
              0.35167,
              0.60886,
              1.12384
            ],
            [
              0.09884,
              0.12842,
              0.15959,
              0.22298,
              0.35197,
              0.60945,
              1.12304
            ],
            [
              0.11712,
              0.14349,
              0.17178,
              0.23062,
              0.35327,
              0.60954,
              1.12389
            ],
            [
              0.14582,
              0.17458,
              0.20186,
              0.25452,
              0.3682,
              0.6122,
              1.1227
            ],
            [
              0.1875,
              0.2185,
              0.2479,
              0.3044,
              0.4089,
              0.6343,
              1.1247
            ],
            [
              0.2495,
              0.2838,
              0.3168,
              0.3775,
              0.488,
              0.6929,
              1.1498
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.06987,
              0.08647,
              0.10211,
              0.13179,
              0.18828,
              0.29715,
              0.51032
            ],
            [
              0.07197,
              0.0886,
              0.10425,
              0.13394,
              0.19043,
              0.2993,
              0.51256
            ],
            [
              0.07459,
              0.09126,
              0.1069,
              0.13661,
              0.19311,
              0.302,
              0.51528
            ],
            [
              0.07866,
              0.09534,
              0.11103,
              0.14077,
              0.19726,
              0.30618,
              0.51941
            ],
            [
              0.08493,
              0.10171,
              0.11743,
              0.14722,
              0.20379,
              0.31272,
              0.52607
            ],
            [
              0.09476,
              0.11155,
              0.1273,
              0.15715,
              0.21377,
              0.32277,
              0.53619
            ],
            [
              0.11113,
              0.12694,
              0.14249,
              0.17229,
              0.22902,
              0.33817,
              0.5516
            ],
            [
              0.13409,
              0.15135,
              0.16667,
              0.19574,
              0.25232,
              0.36147,
              0.57509
            ],
            [
              0.16124,
              0.18179,
              0.19987,
              0.23168,
              0.28783,
              0.39695,
              0.61053
            ],
            [
              0.19262,
              0.2173,
              0.23904,
              0.27705,
              0.34107,
              0.45047,
              0.66419
            ],
            [
              0.2279,
              0.2577,
              0.28416,
              0.33055,
              0.4076,
              0.53122,
              0.74492
            ],
            [
              0.26617,
              0.30247,
              0.33457,
              0.39117,
              0.48497,
              0.63467,
              0.86677
            ],
            [
              0.305,
              0.3493,
              0.3887,
              0.458,
              0.5734,
              0.7554,
              1.0353
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.15116,
              0.18391,
              0.2152,
              0.27622,
              0.39626,
              0.63502,
              1.11147
            ],
            [
              0.15313,
              0.18638,
              0.21797,
              0.27937,
              0.39977,
              0.64025,
              1.11704
            ],
            [
              0.15589,
              0.18931,
              0.22117,
              0.28283,
              0.40401,
              0.64434,
              1.12142
            ],
            [
              0.16032,
              0.19384,
              0.226,
              0.28815,
              0.40938,
              0.65055,
              1.12748
            ],
            [
              0.16778,
              0.20131,
              0.23353,
              0.29601,
              0.41833,
              0.65905,
              1.13701
            ],
            [
              0.17997,
              0.21319,
              0.24542,
              0.30792,
              0.43058,
              0.67224,
              1.15062
            ],
            [
              0.1991,
              0.23186,
              0.26386,
              0.32656,
              0.44911,
              0.69193,
              1.16983
            ],
            [
              0.22737,
              0.25982,
              0.29154,
              0.35385,
              0.47643,
              0.71843,
              1.19806
            ],
            [
              0.26707,
              0.29981,
              0.33131,
              0.3931,
              0.51571,
              0.75825,
              1.23875
            ],
            [
              0.31565,
              0.35329,
              0.38725,
              0.44958,
              0.57148,
              0.81439,
              1.29509
            ],
            [
              0.37583,
              0.41885,
              0.45772,
              0.52842,
              0.65362,
              0.89542,
              1.37552
            ],
            [
              0.44917,
              0.50087,
              0.54677,
              0.62797,
              0.76947,
              1.01587,
              1.49687
            ],
            [
              0.5358,
              0.6012,
              0.6575,
              0.7547,
              0.9186,
              1.1936,
              1.677
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08045,
              0.09765,
              0.11508,
              0.15058,
              0.2221,
              0.36632,
              0.65696
            ],
            [
              0.08035,
              0.09754,
              0.11507,
              0.15042,
              0.22216,
              0.36647,
              0.657
            ],
            [
              0.08018,
              0.09744,
              0.1149,
              0.1503,
              0.22202,
              0.36628,
              0.65688
            ],
            [
              0.07962,
              0.09717,
              0.11466,
              0.15029,
              0.222,
              0.36671,
              0.65786
            ],
            [
              0.07738,
              0.09641,
              0.11442,
              0.15005,
              0.22171,
              0.36632,
              0.65788
            ],
            [
              0.07561,
              0.09401,
              0.11278,
              0.14963,
              0.22159,
              0.36656,
              0.6574
            ],
            [
              0.07718,
              0.09448,
              0.11204,
              0.14793,
              0.22142,
              0.36661,
              0.657
            ],
            [
              0.08483,
              0.10069,
              0.11689,
              0.15035,
              0.22066,
              0.36651,
              0.65714
            ],
            [
              0.09614,
              0.11489,
              0.13089,
              0.16153,
              0.22643,
              0.36578,
              0.65762
            ],
            [
              0.11275,
              0.13377,
              0.15244,
              0.18643,
              0.24631,
              0.3749,
              0.65722
            ],
            [
              0.13725,
              0.16158,
              0.1828,
              0.2203,
              0.28605,
              0.40485,
              0.66673
            ],
            [
              0.17086,
              0.1998,
              0.225,
              0.2683,
              0.3418,
              0.4658,
              0.7052
            ],
            [
              0.216,
              0.2516,
              0.2816,
              0.3333,
              0.4182,
              0.5577,
              0.7932
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08963,
              0.13114,
              0.17282,
              0.25523,
              0.42012,
              0.74778,
              1.40222
            ],
            [
              0.08976,
              0.13126,
              0.17284,
              0.25522,
              0.42021,
              0.74739,
              1.40379
            ],
            [
              0.08986,
              0.13136,
              0.17276,
              0.25546,
              0.4199,
              0.74808,
              1.40266
            ],
            [
              0.08987,
              0.13119,
              0.17291,
              0.25514,
              0.42016,
              0.74828,
              1.40445
            ],
            [
              0.09009,
              0.1313,
              0.17286,
              0.25508,
              0.41956,
              0.74806,
              1.40408
            ],
            [
              0.0902,
              0.13127,
              0.17297,
              0.25553,
              0.41996,
              0.74799,
              1.40343
            ],
            [
              0.09034,
              0.13142,
              0.17269,
              0.25542,
              0.41971,
              0.74799,
              1.40294
            ],
            [
              0.09119,
              0.13185,
              0.17315,
              0.25551,
              0.42017,
              0.74706,
              1.40287
            ],
            [
              0.09657,
              0.1348,
              0.17457,
              0.25607,
              0.41981,
              0.74804,
              1.40305
            ],
            [
              0.11247,
              0.14819,
              0.18517,
              0.26179,
              0.42047,
              0.74747,
              1.4034
            ],
            [
              0.13327,
              0.17301,
              0.2102,
              0.28176,
              0.4323,
              0.7488,
              1.4019
            ],
            [
              0.1659,
              0.2078,
              0.2474,
              0.3235,
              0.4637,
              0.7643,
              1.4029
            ],
            [
              0.2147,
              0.2609,
              0.3035,
              0.3836,
              0.5305,
              0.8095,
              1.4176
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.07222,
              0.0887,
              0.10428,
              0.13402,
              0.19068,
              0.29977,
              0.51344
            ],
            [
              0.07431,
              0.09083,
              0.10644,
              0.13618,
              0.19285,
              0.30198,
              0.51563
            ],
            [
              0.07694,
              0.09346,
              0.10908,
              0.13883,
              0.19548,
              0.30462,
              0.51833
            ],
            [
              0.08099,
              0.09755,
              0.11321,
              0.14297,
              0.19964,
              0.30878,
              0.52253
            ],
            [
              0.08729,
              0.10391,
              0.11961,
              0.14942,
              0.20613,
              0.31529,
              0.52904
            ],
            [
              0.09712,
              0.11375,
              0.12948,
              0.15935,
              0.21613,
              0.32536,
              0.5392
            ],
            [
              0.11317,
              0.12909,
              0.14468,
              0.17453,
              0.23137,
              0.34075,
              0.5546
            ],
            [
              0.13674,
              0.15363,
              0.16864,
              0.19793,
              0.25466,
              0.36405,
              0.57809
            ],
            [
              0.16464,
              0.18469,
              0.20249,
              0.23401,
              0.29016,
              0.39955,
              0.61359
            ],
            [
              0.19703,
              0.22103,
              0.2425,
              0.28009,
              0.34365,
              0.45312,
              0.66719
            ],
            [
              0.23366,
              0.26268,
              0.28861,
              0.33445,
              0.41093,
              0.53402,
              0.74802
            ],
            [
              0.27377,
              0.30907,
              0.34057,
              0.39637,
              0.48937,
              0.63757,
              0.86997
            ],
            [
              0.3151,
              0.3581,
              0.3967,
              0.4649,
              0.5793,
              0.7609,
              1.0393
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.19624,
              0.22806,
              0.25906,
              0.31985,
              0.43971,
              0.67745,
              1.15127
            ],
            [
              0.19911,
              0.23108,
              0.26222,
              0.32323,
              0.44338,
              0.68135,
              1.15534
            ],
            [
              0.20243,
              0.23453,
              0.26579,
              0.327,
              0.44742,
              0.6856,
              1.15982
            ],
            [
              0.20744,
              0.23966,
              0.27107,
              0.3325,
              0.45321,
              0.69158,
              1.16607
            ],
            [
              0.21511,
              0.24744,
              0.27898,
              0.34071,
              0.46175,
              0.70062,
              1.17541
            ],
            [
              0.22715,
              0.25951,
              0.29113,
              0.35305,
              0.47449,
              0.71375,
              1.18902
            ],
            [
              0.24578,
              0.27802,
              0.30964,
              0.37169,
              0.49348,
              0.73341,
              1.20883
            ],
            [
              0.27349,
              0.30553,
              0.33699,
              0.39893,
              0.52084,
              0.76124,
              1.23766
            ],
            [
              0.31324,
              0.34504,
              0.37629,
              0.43795,
              0.55974,
              0.80055,
              1.27745
            ],
            [
              0.36836,
              0.40134,
              0.4327,
              0.494,
              0.61555,
              0.85629,
              1.33329
            ],
            [
              0.4363,
              0.47422,
              0.50972,
              0.57562,
              0.69712,
              0.93752,
              1.41492
            ],
            [
              0.52217,
              0.56617,
              0.60687,
              0.68187,
              0.81637,
              1.05807,
              1.53567
            ],
            [
              0.6287,
              0.6823,
              0.7308,
              0.8183,
              0.9721,
              1.2374,
              1.716
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11535,
              0.13112,
              0.14758,
              0.1819,
              0.25215,
              0.39528,
              0.68548
            ],
            [
              0.11523,
              0.13098,
              0.14756,
              0.18163,
              0.25218,
              0.39565,
              0.68568
            ],
            [
              0.11499,
              0.13085,
              0.14737,
              0.18149,
              0.25211,
              0.39522,
              0.68548
            ],
            [
              0.1143,
              0.13053,
              0.14714,
              0.18138,
              0.25202,
              0.3956,
              0.68571
            ],
            [
              0.11169,
              0.1295,
              0.14665,
              0.18126,
              0.25189,
              0.39546,
              0.68544
            ],
            [
              0.10999,
              0.12712,
              0.14484,
              0.18062,
              0.25178,
              0.39532,
              0.68559
            ],
            [
              0.11158,
              0.12745,
              0.14422,
              0.17902,
              0.25145,
              0.39555,
              0.68544
            ],
            [
              0.11895,
              0.13361,
              0.14899,
              0.18134,
              0.25029,
              0.39542,
              0.68559
            ],
            [
              0.13511,
              0.1488,
              0.16291,
              0.19258,
              0.25609,
              0.39476,
              0.68567
            ],
            [
              0.15665,
              0.17296,
              0.18859,
              0.21775,
              0.27611,
              0.40355,
              0.68534
            ],
            [
              0.18833,
              0.20671,
              0.22413,
              0.25662,
              0.31671,
              0.43339,
              0.69455
            ],
            [
              0.23219,
              0.2536,
              0.2737,
              0.3105,
              0.3773,
              0.4958,
              0.734
            ],
            [
              0.2913,
              0.3172,
              0.3409,
              0.384,
              0.4598,
              0.5908,
              0.8214
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.12689,
              0.16909,
              0.21136,
              0.29473,
              0.46055,
              0.79167,
              1.45081
            ],
            [
              0.12681,
              0.16925,
              0.21097,
              0.2947,
              0.4607,
              0.79165,
              1.45051
            ],
            [
              0.12675,
              0.1693,
              0.21088,
              0.29432,
              0.46069,
              0.79104,
              1.4519
            ],
            [
              0.12691,
              0.16921,
              0.21093,
              0.29445,
              0.46056,
              0.79077,
              1.45167
            ],
            [
              0.12682,
              0.16933,
              0.21103,
              0.29462,
              0.46072,
              0.79088,
              1.45022
            ],
            [
              0.12694,
              0.16935,
              0.21135,
              0.2947,
              0.46016,
              0.79094,
              1.45178
            ],
            [
              0.12706,
              0.1692,
              0.21135,
              0.29471,
              0.46059,
              0.79167,
              1.45073
            ],
            [
              0.12715,
              0.16911,
              0.2113,
              0.29459,
              0.46024,
              0.79092,
              1.45057
            ],
            [
              0.12906,
              0.17033,
              0.21179,
              0.29453,
              0.46063,
              0.79164,
              1.4515
            ],
            [
              0.14039,
              0.17911,
              0.21844,
              0.29779,
              0.46042,
              0.79077,
              1.4504
            ],
            [
              0.16401,
              0.20215,
              0.23869,
              0.31371,
              0.4691,
              0.7911,
              1.4509
            ],
            [
              0.1962,
              0.238,
              0.2777,
              0.3519,
              0.4971,
              0.8048,
              1.4503
            ],
            [
              0.2463,
              0.2912,
              0.3335,
              0.4124,
              0.5595,
              0.8458,
              1.4638
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11014,
              0.12594,
              0.14108,
              0.17019,
              0.22622,
              0.33483,
              0.54807
            ],
            [
              0.11254,
              0.12834,
              0.14348,
              0.1726,
              0.22864,
              0.33724,
              0.55048
            ],
            [
              0.11555,
              0.13135,
              0.1465,
              0.17562,
              0.23165,
              0.34028,
              0.55352
            ],
            [
              0.12001,
              0.13583,
              0.15097,
              0.1801,
              0.23614,
              0.34477,
              0.55802
            ],
            [
              0.12626,
              0.14212,
              0.1573,
              0.18647,
              0.24252,
              0.35119,
              0.56444
            ],
            [
              0.1352,
              0.1511,
              0.16632,
              0.19555,
              0.2517,
              0.36042,
              0.57374
            ],
            [
              0.14841,
              0.16436,
              0.17962,
              0.20894,
              0.26519,
              0.37402,
              0.58743
            ],
            [
              0.16882,
              0.18454,
              0.1997,
              0.22903,
              0.28542,
              0.39441,
              0.60797
            ],
            [
              0.19565,
              0.21307,
              0.22932,
              0.25946,
              0.31581,
              0.42507,
              0.63886
            ],
            [
              0.23027,
              0.2497,
              0.2677,
              0.30095,
              0.36116,
              0.47097,
              0.68519
            ],
            [
              0.27301,
              0.29553,
              0.31623,
              0.35405,
              0.42129,
              0.53932,
              0.75452
            ],
            [
              0.32267,
              0.34977,
              0.37447,
              0.41927,
              0.49737,
              0.63027,
              0.85817
            ],
            [
              0.3769,
              0.4102,
              0.4406,
              0.4953,
              0.5895,
              0.7451,
              1.0013
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.16724,
              0.19172,
              0.21575,
              0.26311,
              0.35704,
              0.54374,
              0.91623
            ],
            [
              0.16992,
              0.19457,
              0.21872,
              0.26623,
              0.36026,
              0.54703,
              0.9194
            ],
            [
              0.17321,
              0.19803,
              0.22228,
              0.26994,
              0.3641,
              0.55102,
              0.92366
            ],
            [
              0.17828,
              0.20328,
              0.22764,
              0.27552,
              0.36989,
              0.55697,
              0.92953
            ],
            [
              0.18631,
              0.21144,
              0.23596,
              0.28402,
              0.37867,
              0.56596,
              0.939
            ],
            [
              0.19894,
              0.22413,
              0.24878,
              0.29701,
              0.39193,
              0.57949,
              0.95262
            ],
            [
              0.21849,
              0.2436,
              0.26827,
              0.31657,
              0.41175,
              0.5997,
              0.97303
            ],
            [
              0.24749,
              0.27248,
              0.29701,
              0.34533,
              0.44062,
              0.62887,
              1.00236
            ],
            [
              0.28931,
              0.31425,
              0.33868,
              0.38678,
              0.48208,
              0.67051,
              1.04475
            ],
            [
              0.3457,
              0.37343,
              0.39901,
              0.44735,
              0.54235,
              0.73079,
              1.10519
            ],
            [
              0.41673,
              0.44902,
              0.47882,
              0.53362,
              0.63152,
              0.81992,
              1.19452
            ],
            [
              0.50517,
              0.54457,
              0.58027,
              0.64487,
              0.75787,
              0.95277,
              1.32747
            ],
            [
              0.6115,
              0.6617,
              0.7067,
              0.786,
              0.9209,
              1.145,
              1.5268
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09233,
              0.11032,
              0.12822,
              0.16417,
              0.23599,
              0.38084,
              0.67199
            ],
            [
              0.09234,
              0.11026,
              0.12829,
              0.16418,
              0.23624,
              0.38087,
              0.67266
            ],
            [
              0.09225,
              0.11032,
              0.12818,
              0.16417,
              0.23602,
              0.38127,
              0.67271
            ],
            [
              0.09235,
              0.11021,
              0.12828,
              0.16414,
              0.23623,
              0.38131,
              0.67246
            ],
            [
              0.09226,
              0.11028,
              0.1281,
              0.16404,
              0.23605,
              0.38128,
              0.67243
            ],
            [
              0.09164,
              0.10993,
              0.12803,
              0.16401,
              0.2361,
              0.38111,
              0.67281
            ],
            [
              0.09159,
              0.10936,
              0.12729,
              0.16358,
              0.23597,
              0.38124,
              0.67211
            ],
            [
              0.09476,
              0.11202,
              0.12941,
              0.16431,
              0.23562,
              0.38085,
              0.67237
            ],
            [
              0.1038,
              0.12011,
              0.13651,
              0.17013,
              0.239,
              0.38122,
              0.67186
            ],
            [
              0.11685,
              0.1349,
              0.15197,
              0.18488,
              0.25,
              0.38678,
              0.67267
            ],
            [
              0.13757,
              0.15687,
              0.17546,
              0.21008,
              0.27571,
              0.4045,
              0.67886
            ],
            [
              0.1678,
              0.1898,
              0.2102,
              0.2479,
              0.3171,
              0.445,
              0.7034
            ],
            [
              0.2104,
              0.2361,
              0.2596,
              0.3021,
              0.3778,
              0.5128,
              0.7614
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11669,
              0.14939,
              0.18197,
              0.2469,
              0.37605,
              0.63282,
              1.14533
            ],
            [
              0.11671,
              0.14921,
              0.18192,
              0.2465,
              0.37602,
              0.6322,
              1.14377
            ],
            [
              0.11666,
              0.14935,
              0.18201,
              0.24676,
              0.37592,
              0.63308,
              1.14388
            ],
            [
              0.11671,
              0.14942,
              0.18153,
              0.24686,
              0.37591,
              0.63307,
              1.14535
            ],
            [
              0.11679,
              0.14921,
              0.18183,
              0.24648,
              0.37607,
              0.63231,
              1.14535
            ],
            [
              0.11685,
              0.14921,
              0.18195,
              0.24679,
              0.37587,
              0.63294,
              1.14536
            ],
            [
              0.11677,
              0.14913,
              0.18195,
              0.24664,
              0.37607,
              0.63304,
              1.14464
            ],
            [
              0.11685,
              0.14952,
              0.18167,
              0.24671,
              0.37607,
              0.63311,
              1.14493
            ],
            [
              0.12005,
              0.15086,
              0.18303,
              0.24678,
              0.37587,
              0.6328,
              1.14541
            ],
            [
              0.13344,
              0.16233,
              0.19195,
              0.25242,
              0.37654,
              0.63293,
              1.14504
            ],
            [
              0.16055,
              0.18949,
              0.21693,
              0.27287,
              0.3894,
              0.6343,
              1.1455
            ],
            [
              0.2009,
              0.2318,
              0.2617,
              0.3184,
              0.425,
              0.6548,
              1.1465
            ],
            [
              0.2615,
              0.2957,
              0.3282,
              0.3887,
              0.4997,
              0.7096,
              1.1699
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08555,
              0.10211,
              0.11772,
              0.14737,
              0.20385,
              0.3127,
              0.52596
            ],
            [
              0.08788,
              0.10445,
              0.12005,
              0.14971,
              0.20617,
              0.31504,
              0.52825
            ],
            [
              0.09082,
              0.10738,
              0.12299,
              0.15264,
              0.20912,
              0.31798,
              0.53128
            ],
            [
              0.09517,
              0.11174,
              0.12737,
              0.15701,
              0.21349,
              0.32237,
              0.53563
            ],
            [
              0.10135,
              0.11794,
              0.13357,
              0.16325,
              0.21976,
              0.32865,
              0.54193
            ],
            [
              0.11036,
              0.12691,
              0.14254,
              0.17226,
              0.22881,
              0.33777,
              0.55108
            ],
            [
              0.12416,
              0.14041,
              0.15593,
              0.18562,
              0.24224,
              0.3513,
              0.5647
            ],
            [
              0.14316,
              0.16062,
              0.17639,
              0.20586,
              0.26246,
              0.37163,
              0.58515
            ],
            [
              0.16758,
              0.18666,
              0.20406,
              0.23584,
              0.29294,
              0.40224,
              0.61601
            ],
            [
              0.19839,
              0.22004,
              0.23959,
              0.2749,
              0.33734,
              0.44823,
              0.66229
            ],
            [
              0.23502,
              0.26065,
              0.28356,
              0.32437,
              0.39488,
              0.51582,
              0.73172
            ],
            [
              0.27597,
              0.30707,
              0.33487,
              0.38397,
              0.46687,
              0.60427,
              0.83537
            ],
            [
              0.3184,
              0.3569,
              0.3913,
              0.4517,
              0.5528,
              0.715,
              0.9761
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.19038,
              0.22149,
              0.25213,
              0.31271,
              0.43295,
              0.67231,
              1.15007
            ],
            [
              0.19286,
              0.2242,
              0.255,
              0.31573,
              0.4361,
              0.6755,
              1.15324
            ],
            [
              0.19591,
              0.22746,
              0.2584,
              0.31932,
              0.43988,
              0.67951,
              1.15742
            ],
            [
              0.20067,
              0.23245,
              0.26354,
              0.32472,
              0.44555,
              0.68537,
              1.16348
            ],
            [
              0.20835,
              0.24031,
              0.27156,
              0.333,
              0.45416,
              0.6943,
              1.17241
            ],
            [
              0.22059,
              0.25262,
              0.284,
              0.34568,
              0.4672,
              0.7076,
              1.18612
            ],
            [
              0.23962,
              0.27157,
              0.303,
              0.36478,
              0.48659,
              0.72756,
              1.20653
            ],
            [
              0.26774,
              0.29952,
              0.33081,
              0.39254,
              0.51457,
              0.7558,
              1.23506
            ],
            [
              0.30768,
              0.33931,
              0.37045,
              0.43191,
              0.55396,
              0.79555,
              1.27545
            ],
            [
              0.36194,
              0.39536,
              0.42685,
              0.48827,
              0.60991,
              0.85149,
              1.33159
            ],
            [
              0.42902,
              0.46712,
              0.50272,
              0.56902,
              0.69122,
              0.93262,
              1.41292
            ],
            [
              0.51347,
              0.55757,
              0.59827,
              0.67347,
              0.80867,
              1.05207,
              1.53267
            ],
            [
              0.6174,
              0.6708,
              0.7194,
              0.8071,
              0.9617,
              1.2288,
              1.7109
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0786,
              0.09644,
              0.11426,
              0.14998,
              0.22195,
              0.36668,
              0.65779
            ],
            [
              0.07854,
              0.09636,
              0.11422,
              0.14982,
              0.22184,
              0.36638,
              0.65753
            ],
            [
              0.07834,
              0.09628,
              0.11404,
              0.14982,
              0.22189,
              0.36641,
              0.65778
            ],
            [
              0.07824,
              0.09617,
              0.11404,
              0.14976,
              0.22185,
              0.36667,
              0.65772
            ],
            [
              0.07783,
              0.09578,
              0.11383,
              0.14959,
              0.22177,
              0.36654,
              0.65785
            ],
            [
              0.07703,
              0.09512,
              0.11326,
              0.14953,
              0.22156,
              0.36625,
              0.65739
            ],
            [
              0.07879,
              0.09605,
              0.11351,
              0.14904,
              0.22122,
              0.36618,
              0.6569
            ],
            [
              0.08381,
              0.09998,
              0.11688,
              0.15123,
              0.22135,
              0.36604,
              0.65745
            ],
            [
              0.09312,
              0.1101,
              0.12596,
              0.15813,
              0.22595,
              0.36697,
              0.65716
            ],
            [
              0.10667,
              0.1247,
              0.14189,
              0.17499,
              0.2386,
              0.37383,
              0.65764
            ],
            [
              0.12742,
              0.1473,
              0.1657,
              0.20078,
              0.26614,
              0.39295,
              0.66586
            ],
            [
              0.1574,
              0.1799,
              0.2007,
              0.239,
              0.3082,
              0.4359,
              0.6913
            ],
            [
              0.1993,
              0.2261,
              0.2501,
              0.2934,
              0.3694,
              0.5038,
              0.7524
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.12222,
              0.16451,
              0.2062,
              0.28983,
              0.45555,
              0.78559,
              1.44428
            ],
            [
              0.12201,
              0.16429,
              0.20615,
              0.28994,
              0.45532,
              0.78488,
              1.44429
            ],
            [
              0.12219,
              0.16445,
              0.20641,
              0.28976,
              0.45543,
              0.78566,
              1.44303
            ],
            [
              0.12214,
              0.16445,
              0.20616,
              0.28988,
              0.4555,
              0.78552,
              1.44421
            ],
            [
              0.1223,
              0.16445,
              0.2066,
              0.28995,
              0.45535,
              0.78568,
              1.44445
            ],
            [
              0.12237,
              0.1645,
              0.20624,
              0.28992,
              0.45514,
              0.78475,
              1.44445
            ],
            [
              0.1223,
              0.16434,
              0.20654,
              0.28991,
              0.45536,
              0.78558,
              1.4442
            ],
            [
              0.12268,
              0.16473,
              0.20638,
              0.28989,
              0.45552,
              0.78462,
              1.44372
            ],
            [
              0.12478,
              0.16573,
              0.20714,
              0.28988,
              0.45561,
              0.78551,
              1.44278
            ],
            [
              0.13633,
              0.17488,
              0.21411,
              0.29362,
              0.45571,
              0.7856,
              1.443
            ],
            [
              0.15802,
              0.19738,
              0.23416,
              0.3096,
              0.464,
              0.7854,
              1.4441
            ],
            [
              0.1887,
              0.231,
              0.2713,
              0.3467,
              0.4927,
              0.7984,
              1.4433
            ],
            [
              0.2368,
              0.2822,
              0.3252,
              0.4054,
              0.5535,
              0.8408,
              1.4577
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0879,
              0.10436,
              0.11994,
              0.14965,
              0.2063,
              0.3154,
              0.52907
            ],
            [
              0.09024,
              0.10668,
              0.12227,
              0.15197,
              0.20861,
              0.31772,
              0.53141
            ],
            [
              0.09315,
              0.10959,
              0.12519,
              0.15489,
              0.21155,
              0.32063,
              0.53436
            ],
            [
              0.0975,
              0.11396,
              0.12954,
              0.15926,
              0.21591,
              0.32503,
              0.53873
            ],
            [
              0.10368,
              0.12015,
              0.13576,
              0.16549,
              0.22213,
              0.33128,
              0.545
            ],
            [
              0.11267,
              0.1291,
              0.14472,
              0.17449,
              0.23121,
              0.34037,
              0.55415
            ],
            [
              0.12641,
              0.14258,
              0.15809,
              0.18784,
              0.2446,
              0.35391,
              0.56777
            ],
            [
              0.14574,
              0.16293,
              0.17855,
              0.20805,
              0.26481,
              0.37425,
              0.58823
            ],
            [
              0.17054,
              0.18931,
              0.20656,
              0.2382,
              0.29529,
              0.40487,
              0.61906
            ],
            [
              0.20195,
              0.22319,
              0.24252,
              0.27761,
              0.33991,
              0.45083,
              0.66539
            ],
            [
              0.23957,
              0.2646,
              0.28719,
              0.32764,
              0.39786,
              0.51862,
              0.73482
            ],
            [
              0.28187,
              0.31227,
              0.33957,
              0.38807,
              0.47057,
              0.60747,
              0.83847
            ],
            [
              0.3264,
              0.3639,
              0.3976,
              0.4572,
              0.5574,
              0.7191,
              0.9798
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.2327,
              0.26338,
              0.29368,
              0.35363,
              0.47246,
              0.70866,
              1.17957
            ],
            [
              0.23544,
              0.26627,
              0.29671,
              0.35672,
              0.47566,
              0.71182,
              1.18294
            ],
            [
              0.2388,
              0.26972,
              0.30021,
              0.36041,
              0.47946,
              0.7157,
              1.18672
            ],
            [
              0.24396,
              0.275,
              0.30562,
              0.36594,
              0.48519,
              0.72164,
              1.19278
            ],
            [
              0.25199,
              0.28317,
              0.31387,
              0.37443,
              0.49391,
              0.7306,
              1.20191
            ],
            [
              0.26449,
              0.29578,
              0.32658,
              0.3873,
              0.50708,
              0.74406,
              1.21582
            ],
            [
              0.28359,
              0.31488,
              0.34576,
              0.4066,
              0.52665,
              0.76406,
              1.23593
            ],
            [
              0.31146,
              0.34272,
              0.37361,
              0.43447,
              0.55471,
              0.79234,
              1.26466
            ],
            [
              0.3512,
              0.38231,
              0.41308,
              0.47383,
              0.59418,
              0.83225,
              1.30485
            ],
            [
              0.40741,
              0.43857,
              0.46935,
              0.53002,
              0.65019,
              0.88829,
              1.36139
            ],
            [
              0.48142,
              0.51622,
              0.54942,
              0.61142,
              0.73132,
              0.96942,
              1.44272
            ],
            [
              0.57487,
              0.61447,
              0.65187,
              0.72207,
              0.85077,
              1.08907,
              1.56257
            ],
            [
              0.6928,
              0.7395,
              0.7833,
              0.8642,
              1.01,
              1.2672,
              1.7412
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11292,
              0.12952,
              0.14641,
              0.181,
              0.2518,
              0.39513,
              0.68606
            ],
            [
              0.11282,
              0.12937,
              0.14636,
              0.18102,
              0.25156,
              0.39527,
              0.6853
            ],
            [
              0.11268,
              0.12926,
              0.14625,
              0.18088,
              0.25151,
              0.39565,
              0.68536
            ],
            [
              0.11254,
              0.12917,
              0.14612,
              0.18068,
              0.25146,
              0.39514,
              0.68527
            ],
            [
              0.11207,
              0.12882,
              0.14587,
              0.18075,
              0.25138,
              0.39522,
              0.68576
            ],
            [
              0.11133,
              0.12805,
              0.14539,
              0.18046,
              0.2514,
              0.39511,
              0.68491
            ],
            [
              0.11293,
              0.12892,
              0.14549,
              0.17973,
              0.25127,
              0.39507,
              0.6861
            ],
            [
              0.11761,
              0.1328,
              0.14881,
              0.18203,
              0.25114,
              0.39489,
              0.68527
            ],
            [
              0.12854,
              0.14256,
              0.15756,
              0.18899,
              0.25571,
              0.39549,
              0.68579
            ],
            [
              0.14483,
              0.1602,
              0.17562,
              0.20591,
              0.26814,
              0.40254,
              0.68545
            ],
            [
              0.1698,
              0.18622,
              0.20244,
              0.23441,
              0.29643,
              0.42152,
              0.69357
            ],
            [
              0.2062,
              0.2245,
              0.2422,
              0.2765,
              0.3415,
              0.4649,
              0.72
            ],
            [
              0.2578,
              0.2789,
              0.2988,
              0.3367,
              0.4067,
              0.5357,
              0.7799
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.15726,
              0.20013,
              0.2423,
              0.32584,
              0.49174,
              0.82224,
              1.47929
            ],
            [
              0.15735,
              0.19988,
              0.24218,
              0.32609,
              0.49195,
              0.82123,
              1.47979
            ],
            [
              0.15738,
              0.20008,
              0.24243,
              0.32574,
              0.49178,
              0.82192,
              1.47991
            ],
            [
              0.15739,
              0.20013,
              0.24217,
              0.32574,
              0.49161,
              0.82152,
              1.47938
            ],
            [
              0.15735,
              0.20012,
              0.24243,
              0.32598,
              0.49142,
              0.82111,
              1.47936
            ],
            [
              0.1574,
              0.20015,
              0.24216,
              0.32602,
              0.49202,
              0.82127,
              1.47989
            ],
            [
              0.1574,
              0.20003,
              0.24223,
              0.32598,
              0.49201,
              0.82134,
              1.47945
            ],
            [
              0.15751,
              0.20012,
              0.24234,
              0.326,
              0.49199,
              0.82202,
              1.47943
            ],
            [
              0.1582,
              0.20058,
              0.24238,
              0.32604,
              0.49186,
              0.82186,
              1.47948
            ],
            [
              0.16569,
              0.20604,
              0.24665,
              0.32753,
              0.49215,
              0.82147,
              1.4798
            ],
            [
              0.18694,
              0.22497,
              0.26311,
              0.34014,
              0.4982,
              0.8213,
              1.4794
            ],
            [
              0.2189,
              0.2604,
              0.2998,
              0.3735,
              0.5223,
              0.833,
              1.4794
            ],
            [
              0.2682,
              0.3121,
              0.3539,
              0.433,
              0.5794,
              0.8704,
              1.4901
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11617,
              0.13196,
              0.1471,
              0.17622,
              0.23225,
              0.34086,
              0.55411
            ],
            [
              0.11884,
              0.13463,
              0.14977,
              0.1789,
              0.23491,
              0.34354,
              0.55677
            ],
            [
              0.1219,
              0.13771,
              0.15284,
              0.18196,
              0.238,
              0.34661,
              0.55985
            ],
            [
              0.12615,
              0.14197,
              0.15712,
              0.18626,
              0.2423,
              0.35092,
              0.56417
            ],
            [
              0.13205,
              0.14789,
              0.16306,
              0.19222,
              0.2483,
              0.35694,
              0.5702
            ],
            [
              0.14023,
              0.15612,
              0.17133,
              0.20055,
              0.25667,
              0.36538,
              0.57868
            ],
            [
              0.15168,
              0.16761,
              0.18287,
              0.21217,
              0.26838,
              0.37717,
              0.59057
            ],
            [
              0.16827,
              0.18417,
              0.1994,
              0.22872,
              0.28506,
              0.394,
              0.60752
            ],
            [
              0.18986,
              0.2068,
              0.22276,
              0.25277,
              0.30919,
              0.41833,
              0.63203
            ],
            [
              0.21722,
              0.23547,
              0.25261,
              0.28475,
              0.3441,
              0.45406,
              0.66809
            ],
            [
              0.25173,
              0.27178,
              0.29053,
              0.32556,
              0.38974,
              0.50612,
              0.72152
            ],
            [
              0.29427,
              0.31697,
              0.33807,
              0.37707,
              0.44787,
              0.57437,
              0.80087
            ],
            [
              0.344,
              0.3709,
              0.3956,
              0.4407,
              0.5209,
              0.6613,
              0.9072
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.18079,
              0.20521,
              0.22906,
              0.27583,
              0.36791,
              0.54997,
              0.91189
            ],
            [
              0.18347,
              0.20791,
              0.23175,
              0.27855,
              0.37065,
              0.55268,
              0.9147
            ],
            [
              0.187,
              0.21149,
              0.23536,
              0.28221,
              0.37432,
              0.55639,
              0.9184
            ],
            [
              0.19256,
              0.21709,
              0.24102,
              0.28789,
              0.38005,
              0.5622,
              0.924
            ],
            [
              0.20113,
              0.22574,
              0.2497,
              0.29666,
              0.38892,
              0.57115,
              0.93322
            ],
            [
              0.21428,
              0.23895,
              0.26296,
              0.31001,
              0.40236,
              0.58468,
              0.94682
            ],
            [
              0.23384,
              0.25851,
              0.28257,
              0.32968,
              0.42216,
              0.60459,
              0.96683
            ],
            [
              0.26203,
              0.28671,
              0.31077,
              0.35791,
              0.45045,
              0.63302,
              0.99546
            ],
            [
              0.3021,
              0.32672,
              0.35077,
              0.39789,
              0.49048,
              0.67317,
              1.03575
            ],
            [
              0.35756,
              0.38395,
              0.4084,
              0.45552,
              0.54809,
              0.73089,
              1.09349
            ],
            [
              0.42704,
              0.45732,
              0.48552,
              0.53792,
              0.63272,
              0.81562,
              1.17842
            ],
            [
              0.51387,
              0.54967,
              0.58287,
              0.64357,
              0.75197,
              0.94127,
              1.30447
            ],
            [
              0.6189,
              0.6634,
              0.7039,
              0.777,
              0.9045,
              1.1209,
              1.4926
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09236,
              0.11026,
              0.12828,
              0.16415,
              0.23619,
              0.38093,
              0.67191
            ],
            [
              0.09235,
              0.11021,
              0.12828,
              0.16401,
              0.23597,
              0.38132,
              0.67279
            ],
            [
              0.09234,
              0.11033,
              0.12826,
              0.16403,
              0.23623,
              0.3811,
              0.67273
            ],
            [
              0.09233,
              0.11021,
              0.12826,
              0.16397,
              0.23618,
              0.38128,
              0.67278
            ],
            [
              0.09225,
              0.11028,
              0.12826,
              0.16405,
              0.23622,
              0.38085,
              0.67267
            ],
            [
              0.09198,
              0.11013,
              0.12806,
              0.16393,
              0.23617,
              0.38117,
              0.67279
            ],
            [
              0.09191,
              0.10983,
              0.12778,
              0.16372,
              0.23615,
              0.38087,
              0.67269
            ],
            [
              0.09398,
              0.11155,
              0.12907,
              0.1644,
              0.23602,
              0.38114,
              0.67255
            ],
            [
              0.10014,
              0.11724,
              0.1343,
              0.16855,
              0.23824,
              0.38103,
              0.6727
            ],
            [
              0.10921,
              0.12724,
              0.14487,
              0.17906,
              0.24666,
              0.38587,
              0.67273
            ],
            [
              0.12255,
              0.1417,
              0.16024,
              0.1961,
              0.26515,
              0.39958,
              0.67935
            ],
            [
              0.1433,
              0.1636,
              0.1831,
              0.2209,
              0.2927,
              0.4293,
              0.6994
            ],
            [
              0.1757,
              0.1976,
              0.2187,
              0.2583,
              0.3333,
              0.4748,
              0.7428
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.13539,
              0.16704,
              0.19864,
              0.26162,
              0.38717,
              0.63765,
              1.13672
            ],
            [
              0.1353,
              0.16692,
              0.19847,
              0.26161,
              0.38694,
              0.63675,
              1.13682
            ],
            [
              0.13502,
              0.16701,
              0.19864,
              0.26146,
              0.38713,
              0.63725,
              1.1369
            ],
            [
              0.13522,
              0.16665,
              0.19819,
              0.26162,
              0.38679,
              0.63768,
              1.13622
            ],
            [
              0.1352,
              0.16702,
              0.1986,
              0.26161,
              0.38696,
              0.63747,
              1.13696
            ],
            [
              0.13549,
              0.16682,
              0.19863,
              0.2612,
              0.38725,
              0.63764,
              1.13674
            ],
            [
              0.13529,
              0.16676,
              0.19866,
              0.26161,
              0.38727,
              0.63766,
              1.13685
            ],
            [
              0.1352,
              0.16673,
              0.19821,
              0.26143,
              0.38693,
              0.63756,
              1.13696
            ],
            [
              0.13752,
              0.16822,
              0.19924,
              0.26157,
              0.38716,
              0.63765,
              1.13657
            ],
            [
              0.14976,
              0.17791,
              0.20755,
              0.26688,
              0.38781,
              0.63719,
              1.13618
            ],
            [
              0.17595,
              0.20376,
              0.23059,
              0.28614,
              0.4007,
              0.6402,
              1.1366
            ],
            [
              0.2144,
              0.2449,
              0.2743,
              0.3301,
              0.4358,
              0.6608,
              1.1393
            ],
            [
              0.273,
              0.3064,
              0.3378,
              0.3975,
              0.5084,
              0.716,
              1.1664
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09158,
              0.10814,
              0.12375,
              0.1534,
              0.20986,
              0.31873,
              0.532
            ],
            [
              0.09419,
              0.11075,
              0.12635,
              0.156,
              0.21247,
              0.32133,
              0.53458
            ],
            [
              0.09719,
              0.11374,
              0.12934,
              0.15899,
              0.21545,
              0.32433,
              0.53758
            ],
            [
              0.10133,
              0.1179,
              0.13353,
              0.16317,
              0.21965,
              0.32853,
              0.5418
            ],
            [
              0.10713,
              0.12372,
              0.13936,
              0.16903,
              0.22553,
              0.33441,
              0.54767
            ],
            [
              0.11528,
              0.13188,
              0.14754,
              0.17725,
              0.2338,
              0.34273,
              0.55603
            ],
            [
              0.12699,
              0.14346,
              0.15908,
              0.18882,
              0.24544,
              0.35447,
              0.56786
            ],
            [
              0.14287,
              0.15999,
              0.17579,
              0.20545,
              0.26211,
              0.37125,
              0.58476
            ],
            [
              0.16282,
              0.18104,
              0.19789,
              0.22909,
              0.2863,
              0.39557,
              0.60923
            ],
            [
              0.18793,
              0.20769,
              0.2259,
              0.25947,
              0.32042,
              0.43131,
              0.64529
            ],
            [
              0.21919,
              0.24112,
              0.26122,
              0.29803,
              0.36427,
              0.48262,
              0.69882
            ],
            [
              0.25667,
              0.28197,
              0.30487,
              0.34637,
              0.41997,
              0.54907,
              0.77787
            ],
            [
              0.2981,
              0.3287,
              0.3561,
              0.405,
              0.4894,
              0.6336,
              0.8825
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.21216,
              0.24345,
              0.27408,
              0.33444,
              0.45349,
              0.68935,
              1.15877
            ],
            [
              0.21462,
              0.24593,
              0.27662,
              0.33693,
              0.45605,
              0.69193,
              1.16134
            ],
            [
              0.21801,
              0.24936,
              0.28006,
              0.34047,
              0.45958,
              0.69549,
              1.16492
            ],
            [
              0.22337,
              0.25479,
              0.28558,
              0.34601,
              0.46521,
              0.70118,
              1.17068
            ],
            [
              0.23178,
              0.26328,
              0.2941,
              0.35465,
              0.47395,
              0.71004,
              1.17961
            ],
            [
              0.24468,
              0.27627,
              0.30714,
              0.36783,
              0.48727,
              0.72345,
              1.19312
            ],
            [
              0.26384,
              0.29547,
              0.32638,
              0.38714,
              0.50672,
              0.7431,
              1.21293
            ],
            [
              0.29113,
              0.32274,
              0.35368,
              0.41449,
              0.53417,
              0.77073,
              1.24066
            ],
            [
              0.32912,
              0.36067,
              0.39158,
              0.45236,
              0.57212,
              0.80885,
              1.27905
            ],
            [
              0.38196,
              0.41398,
              0.44487,
              0.50559,
              0.62532,
              0.86209,
              1.33249
            ],
            [
              0.44732,
              0.48362,
              0.51782,
              0.58192,
              0.70182,
              0.93862,
              1.40922
            ],
            [
              0.52897,
              0.57017,
              0.60877,
              0.68077,
              0.81177,
              1.05057,
              1.52147
            ],
            [
              0.6296,
              0.6781,
              0.7231,
              0.8058,
              0.9541,
              1.2148,
              1.6879
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.07845,
              0.09629,
              0.11416,
              0.14979,
              0.22183,
              0.3667,
              0.65709
            ],
            [
              0.07838,
              0.09612,
              0.11409,
              0.14992,
              0.22169,
              0.36668,
              0.6577
            ],
            [
              0.07827,
              0.09609,
              0.11396,
              0.14982,
              0.22169,
              0.36635,
              0.65756
            ],
            [
              0.07819,
              0.09593,
              0.11392,
              0.1498,
              0.22179,
              0.36658,
              0.65787
            ],
            [
              0.07789,
              0.09589,
              0.11379,
              0.14977,
              0.22156,
              0.36619,
              0.65734
            ],
            [
              0.07741,
              0.09558,
              0.11364,
              0.14946,
              0.22175,
              0.36613,
              0.65687
            ],
            [
              0.07834,
              0.09583,
              0.11365,
              0.14943,
              0.22157,
              0.36632,
              0.65757
            ],
            [
              0.08172,
              0.09865,
              0.11582,
              0.15075,
              0.22179,
              0.36661,
              0.6575
            ],
            [
              0.08832,
              0.10557,
              0.1223,
              0.15581,
              0.22506,
              0.36671,
              0.65779
            ],
            [
              0.09768,
              0.11564,
              0.13321,
              0.16746,
              0.23459,
              0.37264,
              0.6583
            ],
            [
              0.11148,
              0.13037,
              0.14868,
              0.18439,
              0.25364,
              0.38731,
              0.66541
            ],
            [
              0.133,
              0.153,
              0.1724,
              0.2098,
              0.2815,
              0.4184,
              0.6867
            ],
            [
              0.1661,
              0.1882,
              0.2091,
              0.2485,
              0.3231,
              0.4641,
              0.7314
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.14746,
              0.18937,
              0.23081,
              0.31282,
              0.47584,
              0.79988,
              1.44889
            ],
            [
              0.14755,
              0.18917,
              0.23055,
              0.31272,
              0.47536,
              0.80092,
              1.44887
            ],
            [
              0.14754,
              0.18935,
              0.23081,
              0.31283,
              0.47589,
              0.80063,
              1.44753
            ],
            [
              0.14749,
              0.18903,
              0.23053,
              0.31279,
              0.47539,
              0.80079,
              1.44889
            ],
            [
              0.14771,
              0.18908,
              0.23057,
              0.31241,
              0.47525,
              0.80088,
              1.44898
            ],
            [
              0.14749,
              0.18939,
              0.23072,
              0.31263,
              0.47564,
              0.80044,
              1.4491
            ],
            [
              0.14771,
              0.18933,
              0.23075,
              0.31284,
              0.47596,
              0.80087,
              1.44907
            ],
            [
              0.14764,
              0.18944,
              0.23079,
              0.31285,
              0.47567,
              0.80095,
              1.44885
            ],
            [
              0.14891,
              0.18974,
              0.23107,
              0.31289,
              0.47584,
              0.80062,
              1.44912
            ],
            [
              0.1588,
              0.19751,
              0.23698,
              0.31538,
              0.4757,
              0.80013,
              1.4493
            ],
            [
              0.18018,
              0.21837,
              0.2551,
              0.33038,
              0.4847,
              0.8006,
              1.4479
            ],
            [
              0.2102,
              0.2519,
              0.2916,
              0.3662,
              0.5121,
              0.8154,
              1.4492
            ],
            [
              0.2566,
              0.3006,
              0.3431,
              0.4231,
              0.571,
              0.8571,
              1.4644
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09396,
              0.11039,
              0.12597,
              0.15568,
              0.21229,
              0.32143,
              0.53512
            ],
            [
              0.09655,
              0.11298,
              0.12857,
              0.15826,
              0.21491,
              0.32401,
              0.53773
            ],
            [
              0.09953,
              0.11597,
              0.13154,
              0.16124,
              0.21786,
              0.32698,
              0.54072
            ],
            [
              0.10368,
              0.12011,
              0.1357,
              0.16542,
              0.22207,
              0.33116,
              0.54487
            ],
            [
              0.10946,
              0.12593,
              0.14153,
              0.17127,
              0.22793,
              0.33705,
              0.55076
            ],
            [
              0.11761,
              0.13409,
              0.14971,
              0.17947,
              0.23617,
              0.34535,
              0.55911
            ],
            [
              0.12929,
              0.14565,
              0.16126,
              0.19105,
              0.2478,
              0.35707,
              0.57089
            ],
            [
              0.14538,
              0.16228,
              0.17798,
              0.20767,
              0.26449,
              0.37385,
              0.58778
            ],
            [
              0.16556,
              0.18359,
              0.20031,
              0.23142,
              0.28865,
              0.39818,
              0.61227
            ],
            [
              0.19106,
              0.21055,
              0.22861,
              0.26206,
              0.32297,
              0.43395,
              0.64839
            ],
            [
              0.22287,
              0.24443,
              0.26434,
              0.30098,
              0.3671,
              0.48552,
              0.70192
            ],
            [
              0.26117,
              0.28597,
              0.30857,
              0.34977,
              0.42317,
              0.55227,
              0.78107
            ],
            [
              0.304,
              0.3339,
              0.3609,
              0.4092,
              0.4932,
              0.6372,
              0.8861
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.2544,
              0.285,
              0.31513,
              0.3746,
              0.49203,
              0.72456,
              1.18707
            ],
            [
              0.25691,
              0.28752,
              0.31769,
              0.37714,
              0.4946,
              0.72714,
              1.18974
            ],
            [
              0.26035,
              0.29102,
              0.32116,
              0.38064,
              0.49816,
              0.73072,
              1.19332
            ],
            [
              0.26583,
              0.29653,
              0.32675,
              0.38628,
              0.50379,
              0.73642,
              1.19908
            ],
            [
              0.27439,
              0.30512,
              0.33536,
              0.39493,
              0.51257,
              0.74529,
              1.20791
            ],
            [
              0.28741,
              0.31821,
              0.3485,
              0.40818,
              0.52589,
              0.75871,
              1.22142
            ],
            [
              0.30671,
              0.33756,
              0.36787,
              0.42762,
              0.54543,
              0.7784,
              1.24133
            ],
            [
              0.334,
              0.36484,
              0.39519,
              0.45497,
              0.57291,
              0.80606,
              1.26906
            ],
            [
              0.37195,
              0.40275,
              0.4331,
              0.49289,
              0.61093,
              0.84415,
              1.30735
            ],
            [
              0.42518,
              0.456,
              0.48634,
              0.54616,
              0.66409,
              0.89749,
              1.36069
            ],
            [
              0.49652,
              0.53002,
              0.56222,
              0.62262,
              0.74062,
              0.97412,
              1.43772
            ],
            [
              0.58557,
              0.62327,
              0.65907,
              0.72677,
              0.85217,
              1.08617,
              1.54997
            ],
            [
              0.6972,
              0.7409,
              0.7821,
              0.8592,
              1.0001,
              1.2519,
              1.7167
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11279,
              0.12929,
              0.14623,
              0.18079,
              0.25151,
              0.3953,
              0.68502
            ],
            [
              0.11267,
              0.12922,
              0.14619,
              0.18074,
              0.25152,
              0.39549,
              0.68535
            ],
            [
              0.11257,
              0.12909,
              0.14608,
              0.18075,
              0.25143,
              0.39506,
              0.68534
            ],
            [
              0.11243,
              0.12903,
              0.14598,
              0.18065,
              0.25141,
              0.39523,
              0.68604
            ],
            [
              0.11209,
              0.12885,
              0.14589,
              0.18063,
              0.25147,
              0.39506,
              0.68534
            ],
            [
              0.11172,
              0.12846,
              0.14564,
              0.18054,
              0.25155,
              0.39504,
              0.68616
            ],
            [
              0.11253,
              0.12884,
              0.14569,
              0.18016,
              0.25121,
              0.39503,
              0.68517
            ],
            [
              0.11567,
              0.13152,
              0.14787,
              0.18156,
              0.25151,
              0.39495,
              0.68511
            ],
            [
              0.12311,
              0.13833,
              0.15405,
              0.18667,
              0.25467,
              0.3958,
              0.68541
            ],
            [
              0.13428,
              0.15021,
              0.16633,
              0.19847,
              0.26404,
              0.4013,
              0.68607
            ],
            [
              0.15077,
              0.16738,
              0.18409,
              0.21746,
              0.28378,
              0.4161,
              0.69351
            ],
            [
              0.1759,
              0.1934,
              0.2108,
              0.2453,
              0.314,
              0.4474,
              0.7141
            ],
            [
              0.2147,
              0.2332,
              0.2516,
              0.2874,
              0.3579,
              0.4952,
              0.7593
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.18096,
              0.22311,
              0.26517,
              0.34746,
              0.51121,
              0.83604,
              1.48241
            ],
            [
              0.18115,
              0.22316,
              0.26497,
              0.34751,
              0.51101,
              0.83653,
              1.48398
            ],
            [
              0.18111,
              0.22328,
              0.26509,
              0.34764,
              0.51105,
              0.83626,
              1.48333
            ],
            [
              0.18116,
              0.22324,
              0.26501,
              0.34726,
              0.51107,
              0.83638,
              1.48413
            ],
            [
              0.18115,
              0.22338,
              0.26487,
              0.34751,
              0.51106,
              0.83563,
              1.48413
            ],
            [
              0.18114,
              0.22313,
              0.26497,
              0.34756,
              0.51133,
              0.83615,
              1.48231
            ],
            [
              0.18116,
              0.22335,
              0.26491,
              0.34752,
              0.51065,
              0.83597,
              1.48413
            ],
            [
              0.18121,
              0.22337,
              0.26516,
              0.34773,
              0.51109,
              0.83636,
              1.48358
            ],
            [
              0.18154,
              0.2233,
              0.26494,
              0.3477,
              0.51117,
              0.83645,
              1.48379
            ],
            [
              0.188,
              0.22826,
              0.2685,
              0.34849,
              0.51096,
              0.83635,
              1.4823
            ],
            [
              0.20752,
              0.24554,
              0.28413,
              0.36097,
              0.5175,
              0.8366,
              1.4839
            ],
            [
              0.2394,
              0.2803,
              0.3194,
              0.393,
              0.5412,
              0.8485,
              1.4838
            ],
            [
              0.2868,
              0.3299,
              0.3715,
              0.4505,
              0.5973,
              0.8875,
              1.4983
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.03265,
              0.04214,
              0.05119,
              0.06894,
              0.10399,
              0.17388,
              0.31324
            ],
            [
              0.03477,
              0.04446,
              0.05361,
              0.07151,
              0.10669,
              0.17661,
              0.31616
            ],
            [
              0.03753,
              0.04734,
              0.05664,
              0.0746,
              0.1099,
              0.17989,
              0.31945
            ],
            [
              0.04187,
              0.05177,
              0.06117,
              0.07931,
              0.11471,
              0.18482,
              0.32453
            ],
            [
              0.04874,
              0.05865,
              0.06814,
              0.08643,
              0.12205,
              0.19228,
              0.33195
            ],
            [
              0.05691,
              0.06893,
              0.07878,
              0.09717,
              0.13297,
              0.20326,
              0.34316
            ],
            [
              0.06633,
              0.08108,
              0.0933,
              0.11349,
              0.14938,
              0.21989,
              0.3599
            ],
            [
              0.07691,
              0.09517,
              0.11025,
              0.13507,
              0.1742,
              0.24498,
              0.38513
            ],
            [
              0.08837,
              0.11103,
              0.1297,
              0.16044,
              0.20835,
              0.28252,
              0.42277
            ],
            [
              0.10009,
              0.12831,
              0.15149,
              0.18961,
              0.24881,
              0.33743,
              0.47954
            ],
            [
              0.11085,
              0.14611,
              0.17505,
              0.22249,
              0.29582,
              0.40501,
              0.56492
            ],
            [
              0.11854,
              0.16263,
              0.19887,
              0.25797,
              0.34917,
              0.48447,
              0.68017
            ],
            [
              0.1196,
              0.1749,
              0.22,
              0.2939,
              0.4079,
              0.5758,
              0.8171
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.06107,
              0.08242,
              0.10261,
              0.1418,
              0.2191,
              0.37257,
              0.67882
            ],
            [
              0.06254,
              0.0842,
              0.10479,
              0.14442,
              0.22197,
              0.37568,
              0.68116
            ],
            [
              0.06491,
              0.08675,
              0.10752,
              0.14735,
              0.22513,
              0.37919,
              0.68559
            ],
            [
              0.06925,
              0.09091,
              0.11175,
              0.15201,
              0.23014,
              0.38462,
              0.69034
            ],
            [
              0.07678,
              0.09818,
              0.11905,
              0.15934,
              0.23779,
              0.39232,
              0.69954
            ],
            [
              0.08921,
              0.11002,
              0.13058,
              0.17096,
              0.24967,
              0.40456,
              0.71207
            ],
            [
              0.10874,
              0.1289,
              0.14901,
              0.18913,
              0.2678,
              0.42334,
              0.7307
            ],
            [
              0.13244,
              0.15785,
              0.17813,
              0.21755,
              0.29604,
              0.4515,
              0.75952
            ],
            [
              0.16152,
              0.19357,
              0.21958,
              0.26157,
              0.33931,
              0.49452,
              0.80235
            ],
            [
              0.19706,
              0.23754,
              0.2704,
              0.32336,
              0.40554,
              0.5598,
              0.86699
            ],
            [
              0.24072,
              0.29158,
              0.333,
              0.40002,
              0.50202,
              0.65952,
              0.96622
            ],
            [
              0.29507,
              0.35827,
              0.41007,
              0.49447,
              0.62327,
              0.81037,
              1.11637
            ],
            [
              0.3643,
              0.4415,
              0.5056,
              0.611,
              0.773,
              1.0085,
              1.3434
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02559,
              0.03781,
              0.05011,
              0.07482,
              0.12424,
              0.22346,
              0.42145
            ],
            [
              0.02558,
              0.03782,
              0.05009,
              0.07487,
              0.12436,
              0.22349,
              0.42147
            ],
            [
              0.02559,
              0.03781,
              0.05015,
              0.07487,
              0.12419,
              0.22345,
              0.42083
            ],
            [
              0.02551,
              0.03777,
              0.05007,
              0.07486,
              0.12429,
              0.22345,
              0.42147
            ],
            [
              0.02748,
              0.03836,
              0.05015,
              0.07482,
              0.12437,
              0.22347,
              0.42154
            ],
            [
              0.03277,
              0.04221,
              0.0527,
              0.07547,
              0.12421,
              0.22326,
              0.42164
            ],
            [
              0.03868,
              0.05044,
              0.06001,
              0.08026,
              0.12532,
              0.2233,
              0.42098
            ],
            [
              0.04734,
              0.06045,
              0.07205,
              0.09203,
              0.13269,
              0.22427,
              0.42105
            ],
            [
              0.05965,
              0.07477,
              0.08777,
              0.11065,
              0.14991,
              0.23321,
              0.42128
            ],
            [
              0.07654,
              0.0945,
              0.10958,
              0.13548,
              0.1793,
              0.25666,
              0.42983
            ],
            [
              0.09938,
              0.12111,
              0.13909,
              0.16922,
              0.21891,
              0.30154,
              0.45892
            ],
            [
              0.13013,
              0.15686,
              0.17859,
              0.21472,
              0.2724,
              0.3654,
              0.5206
            ],
            [
              0.1713,
              0.2046,
              0.2315,
              0.2754,
              0.3439,
              0.4511,
              0.6235
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.05246,
              0.08013,
              0.10755,
              0.16202,
              0.27036,
              0.48706,
              0.91967
            ],
            [
              0.05241,
              0.08022,
              0.10769,
              0.16212,
              0.27017,
              0.48748,
              0.92091
            ],
            [
              0.0523,
              0.07999,
              0.10762,
              0.16194,
              0.27071,
              0.48679,
              0.92074
            ],
            [
              0.05213,
              0.08015,
              0.10771,
              0.16213,
              0.27062,
              0.48656,
              0.92093
            ],
            [
              0.05182,
              0.07986,
              0.10743,
              0.16203,
              0.27069,
              0.4873,
              0.91935
            ],
            [
              0.05272,
              0.0794,
              0.10707,
              0.16186,
              0.27052,
              0.4868,
              0.91943
            ],
            [
              0.05969,
              0.08233,
              0.10758,
              0.16179,
              0.27069,
              0.48679,
              0.92041
            ],
            [
              0.07508,
              0.09358,
              0.1151,
              0.16371,
              0.26991,
              0.48674,
              0.92004
            ],
            [
              0.09321,
              0.1164,
              0.13406,
              0.17589,
              0.27264,
              0.48645,
              0.92054
            ],
            [
              0.11652,
              0.14438,
              0.16743,
              0.20495,
              0.28931,
              0.48774,
              0.9208
            ],
            [
              0.14726,
              0.18082,
              0.20852,
              0.25461,
              0.3298,
              0.50688,
              0.9205
            ],
            [
              0.1858,
              0.2282,
              0.2622,
              0.3176,
              0.405,
              0.5583,
              0.934
            ],
            [
              0.234,
              0.2873,
              0.3306,
              0.3992,
              0.505,
              0.6648,
              0.9925
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.03265,
              0.04215,
              0.0512,
              0.06896,
              0.10401,
              0.17378,
              0.31338
            ],
            [
              0.03486,
              0.04451,
              0.05371,
              0.07155,
              0.10673,
              0.17664,
              0.31613
            ],
            [
              0.03762,
              0.04742,
              0.05672,
              0.07468,
              0.10996,
              0.17993,
              0.31941
            ],
            [
              0.04199,
              0.05189,
              0.06131,
              0.07945,
              0.11489,
              0.18496,
              0.3245
            ],
            [
              0.04891,
              0.05882,
              0.06831,
              0.0866,
              0.12221,
              0.19241,
              0.33218
            ],
            [
              0.05718,
              0.06916,
              0.079,
              0.09737,
              0.13317,
              0.20347,
              0.34327
            ],
            [
              0.06668,
              0.08141,
              0.09359,
              0.11375,
              0.14965,
              0.2202,
              0.36018
            ],
            [
              0.07734,
              0.09557,
              0.11058,
              0.13538,
              0.17454,
              0.24528,
              0.38542
            ],
            [
              0.08877,
              0.11148,
              0.1301,
              0.1608,
              0.2087,
              0.28283,
              0.42315
            ],
            [
              0.10044,
              0.12872,
              0.15185,
              0.1899,
              0.24927,
              0.3378,
              0.47971
            ],
            [
              0.11114,
              0.14637,
              0.1754,
              0.22284,
              0.29623,
              0.40512,
              0.56512
            ],
            [
              0.11861,
              0.16279,
              0.19907,
              0.25827,
              0.34957,
              0.48487,
              0.68057
            ],
            [
              0.1194,
              0.1748,
              0.22,
              0.294,
              0.4081,
              0.5762,
              0.8175
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.06632,
              0.09039,
              0.11323,
              0.15765,
              0.24524,
              0.41885,
              0.7653
            ],
            [
              0.06748,
              0.09207,
              0.11535,
              0.16011,
              0.24797,
              0.42204,
              0.76876
            ],
            [
              0.06957,
              0.09423,
              0.11756,
              0.16296,
              0.25112,
              0.42548,
              0.77144
            ],
            [
              0.07358,
              0.09806,
              0.12158,
              0.16725,
              0.25584,
              0.43022,
              0.778
            ],
            [
              0.08078,
              0.10484,
              0.12838,
              0.17428,
              0.26316,
              0.43813,
              0.78614
            ],
            [
              0.09285,
              0.11615,
              0.13943,
              0.1853,
              0.27442,
              0.44987,
              0.79813
            ],
            [
              0.11231,
              0.13461,
              0.15732,
              0.20258,
              0.29212,
              0.46755,
              0.81668
            ],
            [
              0.13692,
              0.16368,
              0.18568,
              0.23025,
              0.319,
              0.49527,
              0.84436
            ],
            [
              0.1668,
              0.20048,
              0.22797,
              0.27322,
              0.36109,
              0.53686,
              0.88645
            ],
            [
              0.20329,
              0.24567,
              0.28022,
              0.33628,
              0.42592,
              0.60082,
              0.94959
            ],
            [
              0.24802,
              0.30113,
              0.34451,
              0.41502,
              0.52322,
              0.69812,
              1.04522
            ],
            [
              0.30377,
              0.36957,
              0.42357,
              0.51197,
              0.64777,
              0.84657,
              1.19197
            ],
            [
              0.3746,
              0.4548,
              0.5215,
              0.6315,
              0.8014,
              1.0503,
              1.4147
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0256,
              0.03782,
              0.05006,
              0.07486,
              0.12425,
              0.22333,
              0.42153
            ],
            [
              0.02558,
              0.0378,
              0.05013,
              0.07476,
              0.12431,
              0.2234,
              0.42084
            ],
            [
              0.02558,
              0.03782,
              0.05015,
              0.07486,
              0.12416,
              0.22341,
              0.42149
            ],
            [
              0.0255,
              0.03774,
              0.05013,
              0.07486,
              0.12437,
              0.22313,
              0.42149
            ],
            [
              0.02743,
              0.03832,
              0.05012,
              0.07482,
              0.12437,
              0.22345,
              0.42131
            ],
            [
              0.0326,
              0.0421,
              0.05266,
              0.0754,
              0.12433,
              0.22323,
              0.4213
            ],
            [
              0.03852,
              0.05028,
              0.05982,
              0.08019,
              0.12521,
              0.22341,
              0.42081
            ],
            [
              0.04709,
              0.06018,
              0.07184,
              0.09182,
              0.1325,
              0.22423,
              0.42105
            ],
            [
              0.05937,
              0.07446,
              0.08749,
              0.11039,
              0.1497,
              0.23308,
              0.42122
            ],
            [
              0.07628,
              0.0941,
              0.10928,
              0.1352,
              0.17896,
              0.25642,
              0.42906
            ],
            [
              0.09909,
              0.12086,
              0.13875,
              0.1689,
              0.21856,
              0.30146,
              0.45892
            ],
            [
              0.13018,
              0.15663,
              0.17832,
              0.21419,
              0.2721,
              0.365,
              0.5204
            ],
            [
              0.1714,
              0.2046,
              0.2314,
              0.2752,
              0.3436,
              0.4506,
              0.6232
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.06034,
              0.09164,
              0.12265,
              0.184,
              0.30592,
              0.54886,
              1.03486
            ],
            [
              0.06028,
              0.09168,
              0.12262,
              0.18403,
              0.30593,
              0.54927,
              1.03395
            ],
            [
              0.06009,
              0.09164,
              0.12248,
              0.18371,
              0.3057,
              0.54836,
              1.0353
            ],
            [
              0.05983,
              0.09148,
              0.12247,
              0.18401,
              0.30588,
              0.54934,
              1.03416
            ],
            [
              0.05932,
              0.09121,
              0.12244,
              0.18396,
              0.30534,
              0.54939,
              1.03492
            ],
            [
              0.05919,
              0.09039,
              0.1217,
              0.18375,
              0.30581,
              0.54859,
              1.03562
            ],
            [
              0.06527,
              0.09213,
              0.12146,
              0.18344,
              0.3058,
              0.54889,
              1.03444
            ],
            [
              0.07951,
              0.10183,
              0.12765,
              0.18354,
              0.30508,
              0.54848,
              1.03428
            ],
            [
              0.09882,
              0.12332,
              0.14495,
              0.19423,
              0.30589,
              0.54849,
              1.03494
            ],
            [
              0.12204,
              0.15258,
              0.17839,
              0.22084,
              0.31959,
              0.54846,
              1.03537
            ],
            [
              0.15303,
              0.18928,
              0.21944,
              0.2703,
              0.35665,
              0.562,
              1.0335
            ],
            [
              0.1921,
              0.2369,
              0.2738,
              0.3337,
              0.4291,
              0.6083,
              1.0421
            ],
            [
              0.2407,
              0.2974,
              0.3427,
              0.4164,
              0.5311,
              0.7078,
              1.0924
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.03266,
              0.04216,
              0.05121,
              0.06896,
              0.10402,
              0.17379,
              0.31339
            ],
            [
              0.03487,
              0.04453,
              0.05372,
              0.07157,
              0.10674,
              0.17659,
              0.31615
            ],
            [
              0.03763,
              0.04744,
              0.05673,
              0.07469,
              0.10997,
              0.17994,
              0.31945
            ],
            [
              0.042,
              0.05191,
              0.06129,
              0.07945,
              0.11489,
              0.18496,
              0.32461
            ],
            [
              0.04892,
              0.05882,
              0.06831,
              0.08661,
              0.12221,
              0.19241,
              0.33217
            ],
            [
              0.05718,
              0.06916,
              0.07899,
              0.0974,
              0.13315,
              0.20348,
              0.34325
            ],
            [
              0.06667,
              0.0814,
              0.09358,
              0.11374,
              0.14963,
              0.22021,
              0.36016
            ],
            [
              0.07732,
              0.09556,
              0.11061,
              0.13536,
              0.17454,
              0.24528,
              0.38542
            ],
            [
              0.08875,
              0.11145,
              0.13007,
              0.16079,
              0.20869,
              0.28281,
              0.42311
            ],
            [
              0.10043,
              0.12869,
              0.15192,
              0.19004,
              0.24925,
              0.33777,
              0.4798
            ],
            [
              0.11112,
              0.14635,
              0.17538,
              0.22282,
              0.29622,
              0.40503,
              0.56502
            ],
            [
              0.1186,
              0.16278,
              0.19897,
              0.25817,
              0.34947,
              0.48487,
              0.68047
            ],
            [
              0.1194,
              0.1748,
              0.22,
              0.294,
              0.4081,
              0.5761,
              0.8175
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0662,
              0.0902,
              0.11288,
              0.1568,
              0.2436,
              0.41592,
              0.75991
            ],
            [
              0.0674,
              0.09168,
              0.11479,
              0.15922,
              0.24643,
              0.41892,
              0.76229
            ],
            [
              0.06948,
              0.09404,
              0.11721,
              0.16213,
              0.24937,
              0.42196,
              0.76618
            ],
            [
              0.07355,
              0.09788,
              0.12126,
              0.16648,
              0.25432,
              0.42763,
              0.7717
            ],
            [
              0.08075,
              0.10465,
              0.12802,
              0.17346,
              0.26149,
              0.43531,
              0.77994
            ],
            [
              0.09281,
              0.11597,
              0.13908,
              0.18458,
              0.27303,
              0.44657,
              0.7919
            ],
            [
              0.11226,
              0.13446,
              0.15701,
              0.20189,
              0.29058,
              0.46483,
              0.81056
            ],
            [
              0.13681,
              0.16351,
              0.18541,
              0.22961,
              0.31751,
              0.49221,
              0.83826
            ],
            [
              0.16664,
              0.20024,
              0.22765,
              0.27269,
              0.35984,
              0.53417,
              0.88065
            ],
            [
              0.20307,
              0.24535,
              0.27981,
              0.33568,
              0.42479,
              0.59832,
              0.94429
            ],
            [
              0.24773,
              0.30072,
              0.344,
              0.4143,
              0.52212,
              0.69582,
              1.04032
            ],
            [
              0.30337,
              0.36897,
              0.42297,
              0.51117,
              0.64647,
              0.84447,
              1.18707
            ],
            [
              0.3742,
              0.4541,
              0.5207,
              0.6304,
              0.7999,
              1.0479,
              1.41
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0256,
              0.03783,
              0.05006,
              0.07485,
              0.12427,
              0.22333,
              0.42154
            ],
            [
              0.02558,
              0.03781,
              0.05014,
              0.07477,
              0.12433,
              0.2234,
              0.42087
            ],
            [
              0.02558,
              0.03782,
              0.05015,
              0.07486,
              0.12415,
              0.2234,
              0.42157
            ],
            [
              0.0255,
              0.03775,
              0.05007,
              0.07485,
              0.12422,
              0.22311,
              0.42113
            ],
            [
              0.02743,
              0.0383,
              0.05013,
              0.07468,
              0.12437,
              0.22343,
              0.42092
            ],
            [
              0.03263,
              0.04211,
              0.05265,
              0.07546,
              0.12431,
              0.22322,
              0.42136
            ],
            [
              0.03851,
              0.05029,
              0.05982,
              0.08014,
              0.12543,
              0.22342,
              0.42084
            ],
            [
              0.0471,
              0.0602,
              0.07181,
              0.09184,
              0.13251,
              0.22423,
              0.42105
            ],
            [
              0.05939,
              0.0744,
              0.08751,
              0.1104,
              0.14971,
              0.23309,
              0.42127
            ],
            [
              0.07629,
              0.09412,
              0.10922,
              0.13505,
              0.17898,
              0.25646,
              0.42971
            ],
            [
              0.09911,
              0.12089,
              0.13878,
              0.16892,
              0.21859,
              0.30149,
              0.45878
            ],
            [
              0.1301,
              0.15666,
              0.17834,
              0.21423,
              0.2721,
              0.3651,
              0.5204
            ],
            [
              0.1713,
              0.2049,
              0.2314,
              0.2752,
              0.3437,
              0.4506,
              0.6231
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.05986,
              0.09087,
              0.1213,
              0.18232,
              0.30304,
              0.54502,
              1.02776
            ],
            [
              0.05962,
              0.09073,
              0.12137,
              0.18224,
              0.30311,
              0.5443,
              1.027
            ],
            [
              0.05949,
              0.09073,
              0.12148,
              0.18235,
              0.30312,
              0.54484,
              1.02766
            ],
            [
              0.0593,
              0.09064,
              0.12148,
              0.18221,
              0.30331,
              0.5448,
              1.0262
            ],
            [
              0.05887,
              0.09042,
              0.12135,
              0.18215,
              0.30316,
              0.54484,
              1.02571
            ],
            [
              0.05882,
              0.08964,
              0.12072,
              0.18201,
              0.3033,
              0.54467,
              1.02598
            ],
            [
              0.06492,
              0.09154,
              0.12044,
              0.18186,
              0.30309,
              0.54475,
              1.02574
            ],
            [
              0.07926,
              0.10136,
              0.12668,
              0.18222,
              0.30269,
              0.54401,
              1.02585
            ],
            [
              0.09852,
              0.12289,
              0.14417,
              0.19282,
              0.30362,
              0.54427,
              1.02611
            ],
            [
              0.12181,
              0.15209,
              0.1777,
              0.21963,
              0.31754,
              0.54439,
              1.02739
            ],
            [
              0.15272,
              0.1888,
              0.21881,
              0.26936,
              0.35489,
              0.5583,
              1.0268
            ],
            [
              0.1917,
              0.2363,
              0.2731,
              0.3328,
              0.4275,
              0.6051,
              1.0349
            ],
            [
              0.2404,
              0.2965,
              0.3421,
              0.4154,
              0.5294,
              0.7051,
              1.0851
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0327,
              0.04222,
              0.05127,
              0.06902,
              0.10402,
              0.17387,
              0.31327
            ],
            [
              0.03497,
              0.04461,
              0.05382,
              0.07165,
              0.10684,
              0.17663,
              0.31611
            ],
            [
              0.03779,
              0.0476,
              0.05688,
              0.07483,
              0.11012,
              0.18008,
              0.3196
            ],
            [
              0.04226,
              0.05214,
              0.06155,
              0.0797,
              0.11514,
              0.18505,
              0.32467
            ],
            [
              0.0493,
              0.05919,
              0.06867,
              0.08697,
              0.12253,
              0.19275,
              0.33241
            ],
            [
              0.0578,
              0.06972,
              0.07949,
              0.09787,
              0.13365,
              0.20397,
              0.34375
            ],
            [
              0.06756,
              0.08218,
              0.09431,
              0.11436,
              0.15025,
              0.22077,
              0.36069
            ],
            [
              0.07843,
              0.0966,
              0.11153,
              0.13623,
              0.17524,
              0.24597,
              0.3861
            ],
            [
              0.09008,
              0.11268,
              0.13125,
              0.16185,
              0.20959,
              0.28368,
              0.42398
            ],
            [
              0.10173,
              0.12998,
              0.1532,
              0.19117,
              0.25032,
              0.33881,
              0.4807
            ],
            [
              0.11216,
              0.14756,
              0.17656,
              0.22412,
              0.29759,
              0.40644,
              0.56622
            ],
            [
              0.11918,
              0.16356,
              0.19987,
              0.25927,
              0.35087,
              0.48597,
              0.68137
            ],
            [
              0.1189,
              0.1746,
              0.2202,
              0.2946,
              0.409,
              0.5773,
              0.8185
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08135,
              0.11434,
              0.14562,
              0.20675,
              0.32696,
              0.56605,
              1.04237
            ],
            [
              0.08162,
              0.11515,
              0.14715,
              0.20883,
              0.32972,
              0.56865,
              1.04534
            ],
            [
              0.08299,
              0.11649,
              0.14873,
              0.21119,
              0.33261,
              0.57259,
              1.05062
            ],
            [
              0.08614,
              0.1194,
              0.15186,
              0.21474,
              0.33661,
              0.57722,
              1.05388
            ],
            [
              0.09239,
              0.12499,
              0.15736,
              0.22042,
              0.34314,
              0.58403,
              1.06131
            ],
            [
              0.10343,
              0.13508,
              0.167,
              0.23021,
              0.35312,
              0.59454,
              1.07262
            ],
            [
              0.12198,
              0.15197,
              0.18316,
              0.24563,
              0.36895,
              0.61072,
              1.09013
            ],
            [
              0.14922,
              0.17964,
              0.20943,
              0.27081,
              0.39378,
              0.63622,
              1.11656
            ],
            [
              0.18153,
              0.22002,
              0.25177,
              0.31087,
              0.43274,
              0.67501,
              1.15545
            ],
            [
              0.22089,
              0.26891,
              0.30852,
              0.37397,
              0.49278,
              0.73409,
              1.21379
            ],
            [
              0.26912,
              0.32876,
              0.37799,
              0.45892,
              0.58632,
              0.82562,
              1.30472
            ],
            [
              0.32907,
              0.40227,
              0.46307,
              0.56367,
              0.72017,
              0.96467,
              1.44257
            ],
            [
              0.4052,
              0.4939,
              0.5684,
              0.6923,
              0.8863,
              1.1754,
              1.6512
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02562,
              0.03784,
              0.05011,
              0.07481,
              0.12432,
              0.22335,
              0.42158
            ],
            [
              0.02561,
              0.03777,
              0.05015,
              0.07473,
              0.12433,
              0.22317,
              0.42154
            ],
            [
              0.02557,
              0.03782,
              0.0501,
              0.07475,
              0.12436,
              0.22343,
              0.42167
            ],
            [
              0.02548,
              0.03774,
              0.05008,
              0.07485,
              0.12433,
              0.22321,
              0.4215
            ],
            [
              0.02732,
              0.03823,
              0.05003,
              0.07482,
              0.12432,
              0.22343,
              0.42161
            ],
            [
              0.0323,
              0.04186,
              0.05249,
              0.07535,
              0.12419,
              0.22338,
              0.4216
            ],
            [
              0.03811,
              0.04991,
              0.05945,
              0.07979,
              0.12515,
              0.22301,
              0.42159
            ],
            [
              0.04648,
              0.0596,
              0.07126,
              0.09125,
              0.13218,
              0.22416,
              0.42137
            ],
            [
              0.05847,
              0.07357,
              0.08666,
              0.10961,
              0.14914,
              0.23277,
              0.42126
            ],
            [
              0.07528,
              0.09312,
              0.1082,
              0.13416,
              0.1782,
              0.25584,
              0.42956
            ],
            [
              0.09828,
              0.11974,
              0.13762,
              0.1677,
              0.21749,
              0.30053,
              0.45832
            ],
            [
              0.12922,
              0.15591,
              0.17742,
              0.21319,
              0.2709,
              0.3641,
              0.5197
            ],
            [
              0.1708,
              0.2044,
              0.2308,
              0.2741,
              0.3427,
              0.4496,
              0.6222
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08666,
              0.12983,
              0.17203,
              0.25519,
              0.42017,
              0.74792,
              1.40101
            ],
            [
              0.08624,
              0.12962,
              0.17198,
              0.25485,
              0.41996,
              0.74775,
              1.40117
            ],
            [
              0.08584,
              0.1292,
              0.17185,
              0.25494,
              0.41962,
              0.74842,
              1.403
            ],
            [
              0.08511,
              0.12873,
              0.17141,
              0.25541,
              0.41998,
              0.74754,
              1.40091
            ],
            [
              0.08389,
              0.12815,
              0.1713,
              0.25474,
              0.41973,
              0.74803,
              1.40088
            ],
            [
              0.08221,
              0.12712,
              0.17053,
              0.25437,
              0.42021,
              0.74876,
              1.40233
            ],
            [
              0.08531,
              0.12582,
              0.16897,
              0.25434,
              0.4201,
              0.7484,
              1.40287
            ],
            [
              0.09623,
              0.13192,
              0.17051,
              0.25203,
              0.4199,
              0.74795,
              1.40432
            ],
            [
              0.11902,
              0.14872,
              0.18263,
              0.25622,
              0.41835,
              0.74761,
              1.4034
            ],
            [
              0.14022,
              0.18081,
              0.21119,
              0.27623,
              0.42284,
              0.74809,
              1.40147
            ],
            [
              0.1708,
              0.21629,
              0.25549,
              0.3194,
              0.44856,
              0.75,
              1.4044
            ],
            [
              0.2108,
              0.2646,
              0.3096,
              0.386,
              0.5103,
              0.7792,
              1.4028
            ],
            [
              0.2615,
              0.3267,
              0.3807,
              0.4706,
              0.6149,
              0.8589,
              1.4255
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.03355,
              0.04301,
              0.05209,
              0.0698,
              0.10487,
              0.17471,
              0.31417
            ],
            [
              0.0358,
              0.0454,
              0.05458,
              0.07243,
              0.10761,
              0.17749,
              0.31699
            ],
            [
              0.03858,
              0.04832,
              0.05761,
              0.07557,
              0.11088,
              0.18084,
              0.32036
            ],
            [
              0.04293,
              0.05282,
              0.06222,
              0.08034,
              0.11579,
              0.18585,
              0.32544
            ],
            [
              0.04988,
              0.05977,
              0.06926,
              0.08753,
              0.12315,
              0.19332,
              0.33299
            ],
            [
              0.05845,
              0.0702,
              0.07996,
              0.09835,
              0.1341,
              0.20446,
              0.34423
            ],
            [
              0.06825,
              0.0827,
              0.09473,
              0.11474,
              0.15067,
              0.22117,
              0.36109
            ],
            [
              0.07936,
              0.09723,
              0.11208,
              0.13661,
              0.17559,
              0.2463,
              0.38635
            ],
            [
              0.09136,
              0.1136,
              0.13193,
              0.16235,
              0.20999,
              0.28396,
              0.42414
            ],
            [
              0.10387,
              0.13148,
              0.15428,
              0.19192,
              0.2509,
              0.33914,
              0.48098
            ],
            [
              0.11571,
              0.15008,
              0.17857,
              0.22546,
              0.29834,
              0.40688,
              0.56652
            ],
            [
              0.12475,
              0.16777,
              0.20327,
              0.26177,
              0.35237,
              0.48707,
              0.68237
            ],
            [
              0.1278,
              0.1815,
              0.2259,
              0.2987,
              0.4119,
              0.5792,
              0.82
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.1008,
              0.12474,
              0.14798,
              0.19346,
              0.28312,
              0.46092,
              0.81523
            ],
            [
              0.10271,
              0.12683,
              0.15026,
              0.19597,
              0.28592,
              0.46392,
              0.81836
            ],
            [
              0.10515,
              0.12941,
              0.15299,
              0.19892,
              0.28911,
              0.46735,
              0.82192
            ],
            [
              0.10922,
              0.13359,
              0.15729,
              0.20347,
              0.29396,
              0.47246,
              0.8272
            ],
            [
              0.116,
              0.1404,
              0.16415,
              0.21055,
              0.30138,
              0.48023,
              0.83525
            ],
            [
              0.12718,
              0.15141,
              0.17516,
              0.22165,
              0.31274,
              0.49198,
              0.84731
            ],
            [
              0.14514,
              0.16909,
              0.19267,
              0.23906,
              0.33026,
              0.51003,
              0.86582
            ],
            [
              0.17381,
              0.19707,
              0.22035,
              0.26645,
              0.35737,
              0.53738,
              0.89336
            ],
            [
              0.21397,
              0.24056,
              0.26346,
              0.30887,
              0.3994,
              0.57914,
              0.93565
            ],
            [
              0.2629,
              0.2961,
              0.32498,
              0.37432,
              0.46374,
              0.64279,
              0.99919
            ],
            [
              0.32302,
              0.36457,
              0.40076,
              0.46262,
              0.56232,
              0.74002,
              1.09512
            ],
            [
              0.39707,
              0.44887,
              0.49407,
              0.57157,
              0.69667,
              0.88807,
              1.24147
            ],
            [
              0.4889,
              0.5529,
              0.6091,
              0.7059,
              0.8624,
              1.1002,
              1.464
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04439,
              0.05654,
              0.06874,
              0.09315,
              0.14224,
              0.24055,
              0.43826
            ],
            [
              0.04439,
              0.05651,
              0.06874,
              0.09316,
              0.14222,
              0.24058,
              0.43849
            ],
            [
              0.04438,
              0.05654,
              0.06872,
              0.09316,
              0.14225,
              0.24055,
              0.43797
            ],
            [
              0.04427,
              0.05649,
              0.06871,
              0.09319,
              0.14223,
              0.24058,
              0.43795
            ],
            [
              0.04614,
              0.05705,
              0.06873,
              0.09317,
              0.14221,
              0.24059,
              0.43768
            ],
            [
              0.05109,
              0.06073,
              0.07122,
              0.09377,
              0.14224,
              0.24055,
              0.43828
            ],
            [
              0.06073,
              0.06893,
              0.0783,
              0.09854,
              0.1434,
              0.24061,
              0.43803
            ],
            [
              0.07245,
              0.08242,
              0.09201,
              0.10998,
              0.15044,
              0.24155,
              0.43802
            ],
            [
              0.08958,
              0.10027,
              0.11076,
              0.13064,
              0.16752,
              0.25052,
              0.43854
            ],
            [
              0.11347,
              0.12524,
              0.13678,
              0.15855,
              0.19831,
              0.27381,
              0.44647
            ],
            [
              0.14583,
              0.15936,
              0.1723,
              0.19677,
              0.24114,
              0.31923,
              0.47565
            ],
            [
              0.18948,
              0.20515,
              0.22037,
              0.24852,
              0.2989,
              0.3858,
              0.5372
            ],
            [
              0.2473,
              0.2662,
              0.2843,
              0.3179,
              0.3764,
              0.4754,
              0.6416
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08678,
              0.11878,
              0.15017,
              0.21275,
              0.33789,
              0.58701,
              1.08413
            ],
            [
              0.08676,
              0.11878,
              0.15013,
              0.213,
              0.33806,
              0.58684,
              1.08264
            ],
            [
              0.08673,
              0.11869,
              0.15015,
              0.213,
              0.33794,
              0.58698,
              1.08434
            ],
            [
              0.08667,
              0.11851,
              0.15027,
              0.21311,
              0.33768,
              0.58688,
              1.08372
            ],
            [
              0.08647,
              0.11848,
              0.15032,
              0.21294,
              0.33773,
              0.58694,
              1.08396
            ],
            [
              0.08608,
              0.11845,
              0.15017,
              0.21298,
              0.33807,
              0.58707,
              1.08348
            ],
            [
              0.08608,
              0.11789,
              0.14967,
              0.2126,
              0.33768,
              0.58701,
              1.08362
            ],
            [
              0.09317,
              0.12138,
              0.15089,
              0.21239,
              0.33775,
              0.58712,
              1.08427
            ],
            [
              0.11172,
              0.13594,
              0.16193,
              0.21735,
              0.33755,
              0.5868,
              1.08433
            ],
            [
              0.13828,
              0.16703,
              0.18943,
              0.238,
              0.3463,
              0.58697,
              1.08435
            ],
            [
              0.17171,
              0.20521,
              0.2344,
              0.28235,
              0.37691,
              0.5959,
              1.0843
            ],
            [
              0.2154,
              0.2564,
              0.291,
              0.3495,
              0.4436,
              0.6364,
              1.0877
            ],
            [
              0.2709,
              0.3216,
              0.3642,
              0.4353,
              0.5486,
              0.7296,
              1.1333
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.03358,
              0.04307,
              0.05214,
              0.06984,
              0.10489,
              0.17472,
              0.31416
            ],
            [
              0.03586,
              0.0455,
              0.05466,
              0.07249,
              0.10766,
              0.17756,
              0.31704
            ],
            [
              0.0387,
              0.04849,
              0.05773,
              0.07569,
              0.111,
              0.18098,
              0.32046
            ],
            [
              0.04318,
              0.05307,
              0.06246,
              0.08056,
              0.116,
              0.18604,
              0.32562
            ],
            [
              0.05023,
              0.06011,
              0.06958,
              0.08787,
              0.12344,
              0.19363,
              0.33328
            ],
            [
              0.059,
              0.07073,
              0.08042,
              0.09881,
              0.13455,
              0.20486,
              0.34462
            ],
            [
              0.06909,
              0.08343,
              0.09543,
              0.1153,
              0.15122,
              0.2217,
              0.36158
            ],
            [
              0.08037,
              0.09818,
              0.11292,
              0.13741,
              0.17623,
              0.24692,
              0.38697
            ],
            [
              0.09258,
              0.11472,
              0.13303,
              0.16333,
              0.21083,
              0.28474,
              0.42493
            ],
            [
              0.10496,
              0.13264,
              0.1555,
              0.19309,
              0.25188,
              0.34007,
              0.48191
            ],
            [
              0.11657,
              0.15109,
              0.17964,
              0.22648,
              0.29964,
              0.4081,
              0.56762
            ],
            [
              0.12521,
              0.16837,
              0.20397,
              0.26267,
              0.35357,
              0.48817,
              0.68317
            ],
            [
              0.1272,
              0.1813,
              0.2259,
              0.2992,
              0.4127,
              0.5802,
              0.8209
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.12741,
              0.15956,
              0.19082,
              0.25211,
              0.37294,
              0.61275,
              1.09087
            ],
            [
              0.1288,
              0.1612,
              0.19273,
              0.25432,
              0.37552,
              0.61564,
              1.09404
            ],
            [
              0.13063,
              0.16325,
              0.19493,
              0.25684,
              0.37844,
              0.61881,
              1.09732
            ],
            [
              0.13384,
              0.16661,
              0.1985,
              0.26073,
              0.38272,
              0.62352,
              1.10238
            ],
            [
              0.13952,
              0.1723,
              0.20432,
              0.26686,
              0.38934,
              0.63067,
              1.10991
            ],
            [
              0.14939,
              0.18199,
              0.21396,
              0.27666,
              0.39956,
              0.64146,
              1.12112
            ],
            [
              0.16589,
              0.19802,
              0.2298,
              0.29238,
              0.41547,
              0.65793,
              1.13823
            ],
            [
              0.19255,
              0.22391,
              0.25531,
              0.31752,
              0.44038,
              0.68325,
              1.16396
            ],
            [
              0.23481,
              0.26519,
              0.29563,
              0.35708,
              0.47943,
              0.72209,
              1.20335
            ],
            [
              0.28758,
              0.32546,
              0.35879,
              0.41862,
              0.5398,
              0.78159,
              1.26299
            ],
            [
              0.35229,
              0.39925,
              0.44045,
              0.51162,
              0.63272,
              0.87302,
              1.35332
            ],
            [
              0.43177,
              0.48967,
              0.54077,
              0.62887,
              0.77267,
              1.01287,
              1.49137
            ],
            [
              0.5302,
              0.6013,
              0.6643,
              0.7731,
              0.9512,
              1.2261,
              1.7012
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04396,
              0.0561,
              0.06828,
              0.09275,
              0.14184,
              0.24028,
              0.43775
            ],
            [
              0.04395,
              0.05609,
              0.06832,
              0.09273,
              0.14184,
              0.24029,
              0.4383
            ],
            [
              0.04393,
              0.0561,
              0.06829,
              0.09272,
              0.14184,
              0.24028,
              0.43776
            ],
            [
              0.04382,
              0.05605,
              0.0683,
              0.09271,
              0.1418,
              0.24033,
              0.43805
            ],
            [
              0.0456,
              0.05655,
              0.06827,
              0.09276,
              0.14186,
              0.24017,
              0.4377
            ],
            [
              0.0504,
              0.06011,
              0.07065,
              0.09328,
              0.14182,
              0.24026,
              0.43759
            ],
            [
              0.05979,
              0.06804,
              0.0775,
              0.09782,
              0.14289,
              0.24023,
              0.43774
            ],
            [
              0.07123,
              0.08133,
              0.09097,
              0.10907,
              0.14982,
              0.24128,
              0.4378
            ],
            [
              0.08798,
              0.09881,
              0.10933,
              0.12941,
              0.1666,
              0.24987,
              0.43775
            ],
            [
              0.11159,
              0.1235,
              0.13507,
              0.15705,
              0.19715,
              0.27284,
              0.44639
            ],
            [
              0.14385,
              0.15746,
              0.17053,
              0.19521,
              0.23952,
              0.31785,
              0.47507
            ],
            [
              0.18741,
              0.20327,
              0.21845,
              0.24672,
              0.2972,
              0.3844,
              0.5368
            ],
            [
              0.2456,
              0.2646,
              0.283,
              0.3162,
              0.3748,
              0.4736,
              0.6408
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.12146,
              0.16409,
              0.20602,
              0.28978,
              0.45566,
              0.78553,
              1.44261
            ],
            [
              0.12117,
              0.16394,
              0.20615,
              0.28998,
              0.45571,
              0.78561,
              1.44404
            ],
            [
              0.12119,
              0.16384,
              0.20595,
              0.28991,
              0.45566,
              0.7856,
              1.44259
            ],
            [
              0.121,
              0.16388,
              0.2063,
              0.28995,
              0.45567,
              0.78553,
              1.4427
            ],
            [
              0.12049,
              0.16374,
              0.20624,
              0.28948,
              0.45536,
              0.78523,
              1.44316
            ],
            [
              0.11991,
              0.16331,
              0.20595,
              0.28948,
              0.45566,
              0.78526,
              1.44451
            ],
            [
              0.11828,
              0.16226,
              0.20548,
              0.2894,
              0.45564,
              0.78543,
              1.44423
            ],
            [
              0.1213,
              0.16186,
              0.20359,
              0.28899,
              0.45542,
              0.78573,
              1.4437
            ],
            [
              0.13495,
              0.17116,
              0.20903,
              0.28852,
              0.45444,
              0.78581,
              1.44471
            ],
            [
              0.16408,
              0.19679,
              0.2304,
              0.30166,
              0.45583,
              0.78513,
              1.44453
            ],
            [
              0.19585,
              0.23826,
              0.27481,
              0.33752,
              0.47614,
              0.7848,
              1.4427
            ],
            [
              0.2405,
              0.2895,
              0.3319,
              0.4055,
              0.53,
              0.8098,
              1.443
            ],
            [
              0.2975,
              0.3566,
              0.4066,
              0.4926,
              0.6338,
              0.8825,
              1.4632
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.03359,
              0.04309,
              0.05211,
              0.06985,
              0.1049,
              0.17474,
              0.3142
            ],
            [
              0.03589,
              0.0455,
              0.05471,
              0.07252,
              0.10768,
              0.17759,
              0.31705
            ],
            [
              0.03872,
              0.04851,
              0.05775,
              0.07573,
              0.11103,
              0.18101,
              0.32049
            ],
            [
              0.04321,
              0.05308,
              0.06247,
              0.08059,
              0.11603,
              0.1861,
              0.32565
            ],
            [
              0.05025,
              0.06014,
              0.06961,
              0.08789,
              0.12346,
              0.19367,
              0.33332
            ],
            [
              0.05902,
              0.07073,
              0.08044,
              0.09882,
              0.13457,
              0.20487,
              0.34468
            ],
            [
              0.0691,
              0.08344,
              0.09542,
              0.11531,
              0.15121,
              0.22172,
              0.3616
            ],
            [
              0.08036,
              0.09818,
              0.11291,
              0.1374,
              0.17624,
              0.24693,
              0.38698
            ],
            [
              0.09255,
              0.1147,
              0.13304,
              0.16333,
              0.21081,
              0.28474,
              0.42493
            ],
            [
              0.10495,
              0.13261,
              0.15547,
              0.19306,
              0.25186,
              0.34006,
              0.4819
            ],
            [
              0.11652,
              0.15104,
              0.17961,
              0.22645,
              0.29961,
              0.40808,
              0.56762
            ],
            [
              0.12518,
              0.16827,
              0.20397,
              0.26257,
              0.35357,
              0.48807,
              0.68317
            ],
            [
              0.1272,
              0.1812,
              0.2259,
              0.2992,
              0.4127,
              0.5802,
              0.8209
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.16003,
              0.19244,
              0.22379,
              0.28487,
              0.40466,
              0.64109,
              1.11067
            ],
            [
              0.16188,
              0.19433,
              0.22587,
              0.28719,
              0.40724,
              0.64397,
              1.11374
            ],
            [
              0.16414,
              0.19671,
              0.22834,
              0.2899,
              0.41024,
              0.64715,
              1.11722
            ],
            [
              0.16789,
              0.20053,
              0.23222,
              0.29402,
              0.41464,
              0.65195,
              1.12228
            ],
            [
              0.17411,
              0.20675,
              0.23848,
              0.30045,
              0.42143,
              0.65913,
              1.12981
            ],
            [
              0.18419,
              0.21681,
              0.24859,
              0.31065,
              0.43195,
              0.67009,
              1.14122
            ],
            [
              0.20051,
              0.23295,
              0.26462,
              0.32669,
              0.44822,
              0.68684,
              1.15853
            ],
            [
              0.22642,
              0.2586,
              0.29014,
              0.35202,
              0.47345,
              0.71228,
              1.18456
            ],
            [
              0.26742,
              0.29899,
              0.33021,
              0.3917,
              0.51283,
              0.75168,
              1.22435
            ],
            [
              0.32948,
              0.36282,
              0.39263,
              0.4532,
              0.57353,
              0.81169,
              1.28439
            ],
            [
              0.40564,
              0.44672,
              0.48342,
              0.54842,
              0.66672,
              0.90332,
              1.37552
            ],
            [
              0.49917,
              0.54977,
              0.59527,
              0.67537,
              0.80937,
              1.04437,
              1.51447
            ],
            [
              0.6147,
              0.677,
              0.733,
              0.8321,
              0.9977,
              1.2588,
              1.7259
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.05587,
              0.06956,
              0.08298,
              0.10904,
              0.15953,
              0.25847,
              0.45501
            ],
            [
              0.05587,
              0.06955,
              0.08298,
              0.10904,
              0.15954,
              0.25844,
              0.45526
            ],
            [
              0.05583,
              0.06956,
              0.08298,
              0.10905,
              0.15954,
              0.25847,
              0.45528
            ],
            [
              0.05573,
              0.06952,
              0.08297,
              0.10905,
              0.15954,
              0.25844,
              0.45498
            ],
            [
              0.0575,
              0.07002,
              0.08295,
              0.10904,
              0.15954,
              0.25844,
              0.45525
            ],
            [
              0.06231,
              0.07358,
              0.08531,
              0.1096,
              0.15953,
              0.25843,
              0.45501
            ],
            [
              0.07235,
              0.08161,
              0.09217,
              0.11415,
              0.16058,
              0.25848,
              0.45498
            ],
            [
              0.08909,
              0.09806,
              0.10589,
              0.12538,
              0.16745,
              0.25933,
              0.45502
            ],
            [
              0.10948,
              0.11849,
              0.12803,
              0.14674,
              0.18425,
              0.26796,
              0.45528
            ],
            [
              0.138,
              0.14725,
              0.15718,
              0.17729,
              0.21549,
              0.29111,
              0.4636
            ],
            [
              0.17697,
              0.18672,
              0.19737,
              0.219,
              0.26023,
              0.33558,
              0.49204
            ],
            [
              0.22958,
              0.24025,
              0.25182,
              0.2756,
              0.3214,
              0.4044,
              0.5535
            ],
            [
              0.3001,
              0.3119,
              0.325,
              0.352,
              0.4039,
              0.4968,
              0.6589
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.14748,
              0.18931,
              0.23056,
              0.31247,
              0.47574,
              0.80048,
              1.44783
            ],
            [
              0.14749,
              0.18921,
              0.23059,
              0.3128,
              0.47592,
              0.80084,
              1.44761
            ],
            [
              0.14749,
              0.18909,
              0.23065,
              0.31288,
              0.47593,
              0.80079,
              1.44842
            ],
            [
              0.14745,
              0.18925,
              0.23074,
              0.31286,
              0.47528,
              0.80057,
              1.44868
            ],
            [
              0.14737,
              0.18923,
              0.23075,
              0.31287,
              0.47591,
              0.80078,
              1.44769
            ],
            [
              0.1472,
              0.18911,
              0.23068,
              0.31285,
              0.4755,
              0.80047,
              1.44798
            ],
            [
              0.14667,
              0.18884,
              0.23053,
              0.31263,
              0.47528,
              0.80077,
              1.44828
            ],
            [
              0.14478,
              0.18705,
              0.22964,
              0.31256,
              0.47592,
              0.80086,
              1.44819
            ],
            [
              0.15276,
              0.19113,
              0.23039,
              0.31093,
              0.47584,
              0.80083,
              1.44843
            ],
            [
              0.17591,
              0.20991,
              0.24554,
              0.31918,
              0.47518,
              0.8002,
              1.4478
            ],
            [
              0.21254,
              0.25221,
              0.28365,
              0.3488,
              0.49053,
              0.8005,
              1.4488
            ],
            [
              0.2586,
              0.3043,
              0.3445,
              0.414,
              0.5395,
              0.8205,
              1.448
            ],
            [
              0.3194,
              0.3741,
              0.4216,
              0.5038,
              0.6391,
              0.8893,
              1.4658
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04086,
              0.05013,
              0.05908,
              0.07672,
              0.11179,
              0.18154,
              0.3211
            ],
            [
              0.04353,
              0.05296,
              0.06201,
              0.07972,
              0.11483,
              0.18459,
              0.32416
            ],
            [
              0.04654,
              0.05612,
              0.06529,
              0.0831,
              0.11828,
              0.18822,
              0.32774
            ],
            [
              0.05072,
              0.06046,
              0.06972,
              0.08769,
              0.12295,
              0.19298,
              0.3325
            ],
            [
              0.05659,
              0.06648,
              0.07584,
              0.09394,
              0.1294,
              0.19955,
              0.33913
            ],
            [
              0.06418,
              0.07502,
              0.08462,
              0.10293,
              0.13854,
              0.20886,
              0.34852
            ],
            [
              0.07344,
              0.08562,
              0.0965,
              0.11598,
              0.15184,
              0.22232,
              0.36221
            ],
            [
              0.08486,
              0.09892,
              0.11128,
              0.13324,
              0.1716,
              0.24236,
              0.38255
            ],
            [
              0.09836,
              0.11514,
              0.12966,
              0.15495,
              0.19814,
              0.27225,
              0.41273
            ],
            [
              0.1133,
              0.13406,
              0.15173,
              0.18183,
              0.2317,
              0.31451,
              0.45778
            ],
            [
              0.12844,
              0.15472,
              0.17681,
              0.21385,
              0.2734,
              0.36836,
              0.52492
            ],
            [
              0.14138,
              0.17527,
              0.20347,
              0.25007,
              0.32337,
              0.43587,
              0.61307
            ],
            [
              0.1482,
              0.1924,
              0.2287,
              0.2883,
              0.3805,
              0.5181,
              0.7248
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08817,
              0.10851,
              0.12838,
              0.16751,
              0.24497,
              0.39892,
              0.70592
            ],
            [
              0.09004,
              0.11047,
              0.13047,
              0.16974,
              0.2473,
              0.40126,
              0.70835
            ],
            [
              0.09259,
              0.11323,
              0.13329,
              0.17268,
              0.25041,
              0.40453,
              0.71168
            ],
            [
              0.09698,
              0.11772,
              0.1379,
              0.17746,
              0.25531,
              0.40958,
              0.71686
            ],
            [
              0.10415,
              0.12496,
              0.14524,
              0.18496,
              0.26307,
              0.41752,
              0.72485
            ],
            [
              0.11582,
              0.13654,
              0.15682,
              0.19659,
              0.27487,
              0.4295,
              0.73692
            ],
            [
              0.1342,
              0.15477,
              0.17497,
              0.21472,
              0.29294,
              0.44773,
              0.75538
            ],
            [
              0.16292,
              0.18315,
              0.20308,
              0.24256,
              0.32076,
              0.4757,
              0.78338
            ],
            [
              0.19932,
              0.22442,
              0.24625,
              0.28532,
              0.36317,
              0.51788,
              0.82575
            ],
            [
              0.24379,
              0.27523,
              0.30244,
              0.34921,
              0.42791,
              0.58208,
              0.88939
            ],
            [
              0.29791,
              0.33714,
              0.3713,
              0.42989,
              0.52422,
              0.67942,
              0.98632
            ],
            [
              0.36387,
              0.41267,
              0.45527,
              0.52867,
              0.64687,
              0.82667,
              1.13227
            ],
            [
              0.4452,
              0.505,
              0.5578,
              0.649,
              0.7968,
              1.0217,
              1.3531
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02562,
              0.03783,
              0.05014,
              0.07483,
              0.12437,
              0.22329,
              0.42149
            ],
            [
              0.02563,
              0.03781,
              0.05009,
              0.07487,
              0.12438,
              0.2233,
              0.42076
            ],
            [
              0.02564,
              0.0378,
              0.05015,
              0.07481,
              0.12436,
              0.22349,
              0.42172
            ],
            [
              0.02564,
              0.03784,
              0.05016,
              0.07483,
              0.12419,
              0.22346,
              0.42161
            ],
            [
              0.02628,
              0.03799,
              0.05013,
              0.07479,
              0.12432,
              0.22346,
              0.42154
            ],
            [
              0.02906,
              0.03984,
              0.05138,
              0.07523,
              0.12424,
              0.22338,
              0.42089
            ],
            [
              0.03347,
              0.04475,
              0.0554,
              0.07784,
              0.12507,
              0.22333,
              0.42117
            ],
            [
              0.03965,
              0.0516,
              0.06315,
              0.0848,
              0.12959,
              0.2241,
              0.42146
            ],
            [
              0.04875,
              0.06169,
              0.07384,
              0.09685,
              0.1401,
              0.22997,
              0.42192
            ],
            [
              0.06185,
              0.07632,
              0.08948,
              0.11394,
              0.15923,
              0.24504,
              0.42796
            ],
            [
              0.08073,
              0.09719,
              0.11193,
              0.13839,
              0.18622,
              0.27436,
              0.44729
            ],
            [
              0.108,
              0.12695,
              0.14365,
              0.17321,
              0.2248,
              0.3176,
              0.4876
            ],
            [
              0.1475,
              0.1695,
              0.1886,
              0.2221,
              0.2795,
              0.3785,
              0.5567
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.07771,
              0.10561,
              0.1336,
              0.18906,
              0.29961,
              0.52049,
              0.96213
            ],
            [
              0.07767,
              0.10575,
              0.13343,
              0.1891,
              0.29984,
              0.52077,
              0.96217
            ],
            [
              0.07766,
              0.10561,
              0.13372,
              0.18913,
              0.29993,
              0.52077,
              0.96171
            ],
            [
              0.07745,
              0.10551,
              0.1337,
              0.1889,
              0.29967,
              0.52079,
              0.96136
            ],
            [
              0.07752,
              0.10571,
              0.13365,
              0.18916,
              0.29981,
              0.52063,
              0.96098
            ],
            [
              0.07709,
              0.10531,
              0.13358,
              0.18912,
              0.29984,
              0.52011,
              0.96097
            ],
            [
              0.07913,
              0.10545,
              0.13324,
              0.18905,
              0.29974,
              0.52029,
              0.9621
            ],
            [
              0.08866,
              0.11205,
              0.13692,
              0.18942,
              0.2997,
              0.52027,
              0.96142
            ],
            [
              0.10906,
              0.12966,
              0.15174,
              0.19847,
              0.30106,
              0.52064,
              0.96106
            ],
            [
              0.13319,
              0.15996,
              0.18239,
              0.22328,
              0.31521,
              0.52125,
              0.96131
            ],
            [
              0.16563,
              0.19754,
              0.22457,
              0.27132,
              0.35267,
              0.53828,
              0.9605
            ],
            [
              0.2074,
              0.2465,
              0.2794,
              0.3351,
              0.4248,
              0.5887,
              0.9748
            ],
            [
              0.2595,
              0.3082,
              0.3491,
              0.4176,
              0.5254,
              0.6929,
              1.0368
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04089,
              0.05014,
              0.05909,
              0.07676,
              0.11179,
              0.18161,
              0.32107
            ],
            [
              0.04358,
              0.05301,
              0.06206,
              0.07978,
              0.11483,
              0.18472,
              0.32412
            ],
            [
              0.04662,
              0.05619,
              0.06537,
              0.08318,
              0.11837,
              0.18827,
              0.32781
            ],
            [
              0.05084,
              0.06057,
              0.06983,
              0.0878,
              0.12312,
              0.19307,
              0.3327
            ],
            [
              0.05675,
              0.06665,
              0.07604,
              0.09414,
              0.12959,
              0.19966,
              0.33925
            ],
            [
              0.06439,
              0.07524,
              0.08484,
              0.10312,
              0.13877,
              0.20907,
              0.34881
            ],
            [
              0.07368,
              0.08587,
              0.09679,
              0.11624,
              0.15212,
              0.22262,
              0.36246
            ],
            [
              0.08509,
              0.0992,
              0.11158,
              0.13356,
              0.1719,
              0.24265,
              0.38281
            ],
            [
              0.09861,
              0.11543,
              0.12997,
              0.15527,
              0.19849,
              0.27257,
              0.41302
            ],
            [
              0.11354,
              0.13433,
              0.15202,
              0.18217,
              0.23205,
              0.31486,
              0.45819
            ],
            [
              0.12865,
              0.15496,
              0.17708,
              0.21417,
              0.27375,
              0.36873,
              0.52532
            ],
            [
              0.14152,
              0.17547,
              0.20367,
              0.25037,
              0.32367,
              0.43627,
              0.61347
            ],
            [
              0.1483,
              0.1925,
              0.2289,
              0.2886,
              0.3808,
              0.5184,
              0.7252
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.09682,
              0.11968,
              0.14206,
              0.18616,
              0.27349,
              0.44716,
              0.79337
            ],
            [
              0.09845,
              0.12145,
              0.14398,
              0.18822,
              0.27566,
              0.44941,
              0.79569
            ],
            [
              0.10079,
              0.12397,
              0.14661,
              0.19099,
              0.27863,
              0.45246,
              0.79894
            ],
            [
              0.10484,
              0.12818,
              0.15094,
              0.19553,
              0.28336,
              0.45737,
              0.80392
            ],
            [
              0.11168,
              0.1351,
              0.15793,
              0.20269,
              0.29075,
              0.46503,
              0.81169
            ],
            [
              0.12292,
              0.14622,
              0.16907,
              0.21392,
              0.30216,
              0.47661,
              0.82348
            ],
            [
              0.1408,
              0.16383,
              0.18657,
              0.23139,
              0.31971,
              0.49436,
              0.84145
            ],
            [
              0.16919,
              0.19156,
              0.21402,
              0.25857,
              0.34682,
              0.52151,
              0.86896
            ],
            [
              0.2069,
              0.23344,
              0.25643,
              0.30029,
              0.38816,
              0.56277,
              0.91015
            ],
            [
              0.25276,
              0.28578,
              0.31455,
              0.36416,
              0.45139,
              0.62523,
              0.97239
            ],
            [
              0.30848,
              0.34961,
              0.3855,
              0.44722,
              0.54742,
              0.72052,
              1.06652
            ],
            [
              0.37637,
              0.42727,
              0.47197,
              0.54897,
              0.67347,
              0.86477,
              1.20967
            ],
            [
              0.4601,
              0.5224,
              0.5774,
              0.6727,
              0.8281,
              1.0656,
              1.4259
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02561,
              0.03778,
              0.05011,
              0.07487,
              0.12428,
              0.22345,
              0.42094
            ],
            [
              0.02562,
              0.03778,
              0.05012,
              0.07483,
              0.12415,
              0.22337,
              0.42151
            ],
            [
              0.02562,
              0.03781,
              0.05013,
              0.07478,
              0.12413,
              0.22347,
              0.42098
            ],
            [
              0.02562,
              0.0378,
              0.05014,
              0.07484,
              0.12436,
              0.22343,
              0.42119
            ],
            [
              0.02624,
              0.03801,
              0.05018,
              0.07471,
              0.12433,
              0.22335,
              0.42107
            ],
            [
              0.02901,
              0.03987,
              0.05132,
              0.07513,
              0.12426,
              0.22344,
              0.4216
            ],
            [
              0.03341,
              0.04467,
              0.05536,
              0.07778,
              0.12515,
              0.22326,
              0.42124
            ],
            [
              0.03952,
              0.05148,
              0.06303,
              0.08474,
              0.12951,
              0.22393,
              0.42138
            ],
            [
              0.04862,
              0.06157,
              0.07362,
              0.09675,
              0.13998,
              0.22991,
              0.42155
            ],
            [
              0.06174,
              0.07612,
              0.08935,
              0.11377,
              0.15908,
              0.2449,
              0.42762
            ],
            [
              0.08065,
              0.09696,
              0.11171,
              0.13827,
              0.18617,
              0.27423,
              0.44724
            ],
            [
              0.1079,
              0.12671,
              0.14339,
              0.17297,
              0.2246,
              0.3172,
              0.4874
            ],
            [
              0.1471,
              0.1692,
              0.1884,
              0.2219,
              0.2793,
              0.3782,
              0.5565
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08872,
              0.12042,
              0.15167,
              0.21382,
              0.33752,
              0.58472,
              1.07707
            ],
            [
              0.08875,
              0.12015,
              0.15166,
              0.21381,
              0.33724,
              0.58469,
              1.07704
            ],
            [
              0.08869,
              0.12014,
              0.15169,
              0.2137,
              0.33736,
              0.58436,
              1.0779
            ],
            [
              0.08836,
              0.12026,
              0.15145,
              0.21371,
              0.33719,
              0.58455,
              1.07769
            ],
            [
              0.08836,
              0.11997,
              0.15151,
              0.21376,
              0.33747,
              0.58476,
              1.07765
            ],
            [
              0.08769,
              0.11986,
              0.15124,
              0.21365,
              0.33761,
              0.58426,
              1.07701
            ],
            [
              0.0886,
              0.11895,
              0.15088,
              0.21342,
              0.33768,
              0.58429,
              1.07642
            ],
            [
              0.09692,
              0.12445,
              0.15298,
              0.21307,
              0.33761,
              0.58419,
              1.07658
            ],
            [
              0.11621,
              0.14015,
              0.16558,
              0.22018,
              0.33757,
              0.5845,
              1.07604
            ],
            [
              0.1412,
              0.17063,
              0.19436,
              0.24221,
              0.34799,
              0.58432,
              1.07616
            ],
            [
              0.17379,
              0.2081,
              0.23782,
              0.28813,
              0.38182,
              0.5963,
              1.0776
            ],
            [
              0.2159,
              0.2576,
              0.2928,
              0.3531,
              0.4508,
              0.6416,
              1.0848
            ],
            [
              0.2686,
              0.3202,
              0.3637,
              0.4367,
              0.5532,
              0.7386,
              1.1354
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0409,
              0.05016,
              0.05912,
              0.07677,
              0.1118,
              0.18163,
              0.32106
            ],
            [
              0.04359,
              0.05302,
              0.06206,
              0.07979,
              0.11482,
              0.18474,
              0.32415
            ],
            [
              0.04663,
              0.0562,
              0.06537,
              0.0832,
              0.11836,
              0.18829,
              0.32782
            ],
            [
              0.05085,
              0.06058,
              0.06986,
              0.08783,
              0.12312,
              0.19309,
              0.3327
            ],
            [
              0.05674,
              0.06666,
              0.07604,
              0.09416,
              0.12959,
              0.19966,
              0.33928
            ],
            [
              0.06439,
              0.07523,
              0.08484,
              0.10315,
              0.13877,
              0.20907,
              0.34878
            ],
            [
              0.07368,
              0.08587,
              0.09677,
              0.11624,
              0.15212,
              0.22261,
              0.36246
            ],
            [
              0.08509,
              0.09919,
              0.11157,
              0.13356,
              0.17189,
              0.24265,
              0.3828
            ],
            [
              0.0986,
              0.11542,
              0.12996,
              0.15526,
              0.19845,
              0.27255,
              0.413
            ],
            [
              0.11353,
              0.13432,
              0.15201,
              0.18215,
              0.23203,
              0.31486,
              0.45818
            ],
            [
              0.12865,
              0.15496,
              0.17707,
              0.21416,
              0.27373,
              0.36872,
              0.52532
            ],
            [
              0.14152,
              0.17547,
              0.20367,
              0.25037,
              0.32367,
              0.43627,
              0.61337
            ],
            [
              0.1483,
              0.1925,
              0.2289,
              0.2885,
              0.3808,
              0.5184,
              0.7252
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.0965,
              0.11919,
              0.14138,
              0.1851,
              0.2718,
              0.44394,
              0.78747
            ],
            [
              0.09815,
              0.12097,
              0.1433,
              0.1872,
              0.27388,
              0.44621,
              0.7898
            ],
            [
              0.1005,
              0.12349,
              0.14595,
              0.18997,
              0.27691,
              0.44932,
              0.79288
            ],
            [
              0.10455,
              0.12773,
              0.1503,
              0.1945,
              0.28158,
              0.45423,
              0.79785
            ],
            [
              0.11142,
              0.13466,
              0.1573,
              0.20169,
              0.28901,
              0.46184,
              0.80574
            ],
            [
              0.12268,
              0.14581,
              0.16848,
              0.21296,
              0.30049,
              0.47346,
              0.81758
            ],
            [
              0.14059,
              0.16345,
              0.18602,
              0.23047,
              0.31808,
              0.49126,
              0.83558
            ],
            [
              0.16899,
              0.19123,
              0.21352,
              0.25771,
              0.34524,
              0.51852,
              0.86306
            ],
            [
              0.20662,
              0.23307,
              0.25599,
              0.29951,
              0.38667,
              0.55987,
              0.90445
            ],
            [
              0.25239,
              0.28532,
              0.31399,
              0.36341,
              0.45004,
              0.62242,
              0.96679
            ],
            [
              0.30802,
              0.34904,
              0.38483,
              0.44642,
              0.54612,
              0.71792,
              1.06112
            ],
            [
              0.37577,
              0.42657,
              0.47117,
              0.54787,
              0.67207,
              0.86247,
              1.20457
            ],
            [
              0.4594,
              0.5215,
              0.5764,
              0.6715,
              0.8264,
              1.063,
              1.4212
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02561,
              0.03781,
              0.05012,
              0.07486,
              0.12432,
              0.22346,
              0.421
            ],
            [
              0.02563,
              0.03778,
              0.05007,
              0.07484,
              0.12421,
              0.22333,
              0.42154
            ],
            [
              0.02562,
              0.03781,
              0.0501,
              0.07476,
              0.12423,
              0.22348,
              0.42081
            ],
            [
              0.02562,
              0.03781,
              0.05015,
              0.07485,
              0.12436,
              0.22342,
              0.42112
            ],
            [
              0.02623,
              0.03801,
              0.05018,
              0.07482,
              0.12433,
              0.22333,
              0.4209
            ],
            [
              0.02901,
              0.03987,
              0.05132,
              0.0752,
              0.12424,
              0.22344,
              0.42152
            ],
            [
              0.03341,
              0.04467,
              0.05546,
              0.07781,
              0.12514,
              0.22331,
              0.42121
            ],
            [
              0.03954,
              0.05148,
              0.06304,
              0.08478,
              0.12952,
              0.22396,
              0.42138
            ],
            [
              0.04863,
              0.06158,
              0.07364,
              0.09677,
              0.13996,
              0.22985,
              0.4218
            ],
            [
              0.06174,
              0.07613,
              0.08937,
              0.11377,
              0.15908,
              0.24491,
              0.42773
            ],
            [
              0.08063,
              0.09704,
              0.11172,
              0.1382,
              0.18618,
              0.27416,
              0.44726
            ],
            [
              0.10791,
              0.12672,
              0.14341,
              0.17299,
              0.2246,
              0.3171,
              0.4874
            ],
            [
              0.1471,
              0.1692,
              0.1884,
              0.2219,
              0.2793,
              0.3782,
              0.5565
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.08786,
              0.11929,
              0.1504,
              0.21187,
              0.33471,
              0.58002,
              1.06878
            ],
            [
              0.08789,
              0.119,
              0.15028,
              0.21187,
              0.33439,
              0.5801,
              1.06925
            ],
            [
              0.08786,
              0.11918,
              0.14999,
              0.21194,
              0.33443,
              0.58012,
              1.06935
            ],
            [
              0.08775,
              0.11917,
              0.15004,
              0.21196,
              0.33467,
              0.58012,
              1.06881
            ],
            [
              0.08759,
              0.11889,
              0.15019,
              0.21191,
              0.33458,
              0.57995,
              1.06783
            ],
            [
              0.08696,
              0.11881,
              0.14988,
              0.2118,
              0.33493,
              0.57916,
              1.06953
            ],
            [
              0.08795,
              0.11801,
              0.14961,
              0.21147,
              0.33493,
              0.57921,
              1.06863
            ],
            [
              0.09636,
              0.12357,
              0.15192,
              0.21123,
              0.33479,
              0.57982,
              1.06959
            ],
            [
              0.11578,
              0.13946,
              0.16448,
              0.21842,
              0.33489,
              0.58016,
              1.06828
            ],
            [
              0.14072,
              0.16995,
              0.1935,
              0.24086,
              0.34588,
              0.5793,
              1.0682
            ],
            [
              0.17332,
              0.20744,
              0.23696,
              0.28706,
              0.37982,
              0.592,
              1.0697
            ],
            [
              0.2154,
              0.2569,
              0.292,
              0.352,
              0.4491,
              0.638,
              1.0773
            ],
            [
              0.2681,
              0.3195,
              0.3629,
              0.4355,
              0.5514,
              0.7353,
              1.1289
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04095,
              0.0502,
              0.05915,
              0.07681,
              0.1118,
              0.18158,
              0.32103
            ],
            [
              0.04369,
              0.05311,
              0.06216,
              0.07986,
              0.11495,
              0.18473,
              0.32425
            ],
            [
              0.0468,
              0.05637,
              0.06552,
              0.08336,
              0.11852,
              0.18841,
              0.32792
            ],
            [
              0.05109,
              0.06082,
              0.07008,
              0.08807,
              0.12337,
              0.19334,
              0.33282
            ],
            [
              0.05711,
              0.06702,
              0.07639,
              0.09451,
              0.12994,
              0.20003,
              0.33966
            ],
            [
              0.06488,
              0.07572,
              0.08534,
              0.10363,
              0.13925,
              0.20953,
              0.34925
            ],
            [
              0.07428,
              0.08655,
              0.0974,
              0.11684,
              0.15273,
              0.2232,
              0.36315
            ],
            [
              0.08584,
              0.09997,
              0.11236,
              0.13434,
              0.17262,
              0.24339,
              0.38357
            ],
            [
              0.09937,
              0.11628,
              0.13085,
              0.15617,
              0.19933,
              0.27335,
              0.41381
            ],
            [
              0.11431,
              0.13519,
              0.15294,
              0.18314,
              0.23303,
              0.31582,
              0.45903
            ],
            [
              0.12942,
              0.15579,
              0.17798,
              0.21516,
              0.2748,
              0.36976,
              0.52622
            ],
            [
              0.14231,
              0.17627,
              0.20447,
              0.25127,
              0.32477,
              0.43737,
              0.61447
            ],
            [
              0.1488,
              0.1931,
              0.2295,
              0.2893,
              0.3817,
              0.5194,
              0.7263
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.12306,
              0.15412,
              0.1846,
              0.24477,
              0.36403,
              0.60145,
              1.07507
            ],
            [
              0.12405,
              0.15536,
              0.18601,
              0.24635,
              0.36583,
              0.60328,
              1.07694
            ],
            [
              0.12577,
              0.15728,
              0.18813,
              0.24869,
              0.36836,
              0.60596,
              1.07992
            ],
            [
              0.12901,
              0.16074,
              0.19174,
              0.25259,
              0.37256,
              0.61045,
              1.08448
            ],
            [
              0.13482,
              0.16666,
              0.1978,
              0.25892,
              0.37925,
              0.61746,
              1.09161
            ],
            [
              0.14485,
              0.17655,
              0.20772,
              0.26898,
              0.38958,
              0.62819,
              1.10262
            ],
            [
              0.16134,
              0.19265,
              0.2237,
              0.28492,
              0.40568,
              0.64447,
              1.11933
            ],
            [
              0.18785,
              0.21839,
              0.24907,
              0.30999,
              0.43069,
              0.66947,
              1.14506
            ],
            [
              0.22854,
              0.25917,
              0.2887,
              0.34897,
              0.46922,
              0.70816,
              1.18355
            ],
            [
              0.27857,
              0.31642,
              0.34986,
              0.40921,
              0.52839,
              0.76669,
              1.24149
            ],
            [
              0.33924,
              0.38594,
              0.42711,
              0.49832,
              0.61902,
              0.85592,
              1.33022
            ],
            [
              0.41307,
              0.47037,
              0.52107,
              0.60897,
              0.75337,
              0.99227,
              1.46477
            ],
            [
              0.504,
              0.5736,
              0.6356,
              0.7435,
              0.9212,
              1.1981,
              1.6686
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.02562,
              0.03776,
              0.05007,
              0.07474,
              0.12417,
              0.2232,
              0.42108
            ],
            [
              0.02563,
              0.03781,
              0.05008,
              0.07478,
              0.12436,
              0.22315,
              0.42167
            ],
            [
              0.02564,
              0.0378,
              0.0501,
              0.07475,
              0.12435,
              0.22342,
              0.42162
            ],
            [
              0.02565,
              0.03778,
              0.05011,
              0.07485,
              0.12437,
              0.22336,
              0.42094
            ],
            [
              0.02619,
              0.03797,
              0.05009,
              0.07483,
              0.12434,
              0.22297,
              0.42157
            ],
            [
              0.02889,
              0.03973,
              0.05127,
              0.07505,
              0.12409,
              0.22338,
              0.42141
            ],
            [
              0.03325,
              0.04448,
              0.05529,
              0.07778,
              0.12508,
              0.22332,
              0.42116
            ],
            [
              0.03932,
              0.05121,
              0.06264,
              0.08445,
              0.12934,
              0.22395,
              0.42108
            ],
            [
              0.04832,
              0.06113,
              0.07326,
              0.09634,
              0.13964,
              0.22955,
              0.42149
            ],
            [
              0.06142,
              0.07568,
              0.08883,
              0.11322,
              0.1586,
              0.24459,
              0.42755
            ],
            [
              0.08022,
              0.09644,
              0.1111,
              0.13763,
              0.18546,
              0.2737,
              0.44706
            ],
            [
              0.10737,
              0.12616,
              0.14273,
              0.17234,
              0.2239,
              0.3166,
              0.487
            ],
            [
              0.1463,
              0.1685,
              0.1876,
              0.221,
              0.2783,
              0.3776,
              0.5549
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.12563,
              0.16874,
              0.21089,
              0.29459,
              0.46051,
              0.79167,
              1.45161
            ],
            [
              0.12557,
              0.16832,
              0.21087,
              0.29459,
              0.46069,
              0.79075,
              1.45152
            ],
            [
              0.12538,
              0.1685,
              0.21068,
              0.2947,
              0.46061,
              0.79147,
              1.44995
            ],
            [
              0.12516,
              0.16837,
              0.21065,
              0.29462,
              0.46073,
              0.79083,
              1.44975
            ],
            [
              0.12456,
              0.16807,
              0.21079,
              0.29444,
              0.46084,
              0.7917,
              1.44989
            ],
            [
              0.12383,
              0.16755,
              0.21036,
              0.29416,
              0.4608,
              0.79167,
              1.45175
            ],
            [
              0.12208,
              0.1661,
              0.20921,
              0.29414,
              0.46073,
              0.79151,
              1.44962
            ],
            [
              0.12642,
              0.16652,
              0.20803,
              0.29323,
              0.46066,
              0.79082,
              1.45037
            ],
            [
              0.14125,
              0.17751,
              0.21531,
              0.2939,
              0.45954,
              0.79162,
              1.4513
            ],
            [
              0.16878,
              0.20383,
              0.23743,
              0.30872,
              0.4615,
              0.79145,
              1.44965
            ],
            [
              0.19974,
              0.24321,
              0.28176,
              0.34606,
              0.48469,
              0.792,
              1.4513
            ],
            [
              0.2424,
              0.2925,
              0.3364,
              0.4128,
              0.5413,
              0.8198,
              1.4501
            ],
            [
              0.2968,
              0.3571,
              0.4087,
              0.4975,
              0.6438,
              0.8979,
              1.475
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04178,
              0.05098,
              0.05994,
              0.07758,
              0.11263,
              0.18243,
              0.32186
            ],
            [
              0.04449,
              0.05385,
              0.06291,
              0.08061,
              0.1157,
              0.18555,
              0.32499
            ],
            [
              0.04753,
              0.05705,
              0.06621,
              0.08406,
              0.11924,
              0.18912,
              0.32862
            ],
            [
              0.05175,
              0.06144,
              0.07072,
              0.08868,
              0.12398,
              0.19395,
              0.33348
            ],
            [
              0.05767,
              0.06758,
              0.07692,
              0.09505,
              0.13049,
              0.20059,
              0.34022
            ],
            [
              0.06543,
              0.07619,
              0.08579,
              0.10407,
              0.13971,
              0.20996,
              0.34968
            ],
            [
              0.07486,
              0.08694,
              0.09777,
              0.1172,
              0.1531,
              0.22359,
              0.36348
            ],
            [
              0.0865,
              0.10044,
              0.11273,
              0.1346,
              0.17293,
              0.24371,
              0.38388
            ],
            [
              0.10036,
              0.11692,
              0.13133,
              0.1565,
              0.19959,
              0.27368,
              0.41419
            ],
            [
              0.11581,
              0.13623,
              0.15373,
              0.18364,
              0.23334,
              0.31605,
              0.45948
            ],
            [
              0.13162,
              0.15745,
              0.17929,
              0.21605,
              0.27536,
              0.37012,
              0.52642
            ],
            [
              0.14563,
              0.17887,
              0.20657,
              0.25277,
              0.32577,
              0.43797,
              0.61487
            ],
            [
              0.1541,
              0.1972,
              0.2329,
              0.2919,
              0.3835,
              0.5206,
              0.7271
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.13011,
              0.1532,
              0.17597,
              0.22081,
              0.30974,
              0.48619,
              0.83779
            ],
            [
              0.13192,
              0.15511,
              0.17793,
              0.22286,
              0.31184,
              0.48841,
              0.84007
            ],
            [
              0.13447,
              0.15777,
              0.18062,
              0.22573,
              0.3148,
              0.49143,
              0.84314
            ],
            [
              0.13876,
              0.16215,
              0.18513,
              0.23034,
              0.31959,
              0.49638,
              0.84818
            ],
            [
              0.14575,
              0.16919,
              0.19226,
              0.2376,
              0.32698,
              0.50399,
              0.85596
            ],
            [
              0.15689,
              0.18037,
              0.20347,
              0.24889,
              0.33844,
              0.51561,
              0.86776
            ],
            [
              0.17441,
              0.19787,
              0.22093,
              0.26638,
              0.35607,
              0.53339,
              0.88574
            ],
            [
              0.2019,
              0.22515,
              0.24814,
              0.29353,
              0.3831,
              0.56058,
              0.91286
            ],
            [
              0.24447,
              0.26723,
              0.28992,
              0.33499,
              0.4244,
              0.6018,
              0.95445
            ],
            [
              0.29971,
              0.32778,
              0.35317,
              0.39858,
              0.48725,
              0.66419,
              1.01669
            ],
            [
              0.36725,
              0.40219,
              0.43377,
              0.48952,
              0.58332,
              0.75892,
              1.11072
            ],
            [
              0.44957,
              0.49297,
              0.53227,
              0.60157,
              0.71777,
              0.90327,
              1.25377
            ],
            [
              0.55,
              0.6035,
              0.6522,
              0.7385,
              0.8832,
              1.111,
              1.4696
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04428,
              0.05638,
              0.0686,
              0.09303,
              0.14211,
              0.24053,
              0.4376
            ],
            [
              0.04428,
              0.0564,
              0.06864,
              0.09306,
              0.14212,
              0.24053,
              0.43798
            ],
            [
              0.04428,
              0.05639,
              0.0686,
              0.0931,
              0.14211,
              0.24046,
              0.43798
            ],
            [
              0.04431,
              0.0564,
              0.06862,
              0.09308,
              0.14211,
              0.24055,
              0.43798
            ],
            [
              0.04489,
              0.05657,
              0.06864,
              0.0931,
              0.14217,
              0.24054,
              0.43792
            ],
            [
              0.04742,
              0.05845,
              0.06989,
              0.09345,
              0.14217,
              0.24055,
              0.43825
            ],
            [
              0.05305,
              0.06301,
              0.07374,
              0.09617,
              0.14306,
              0.24058,
              0.43818
            ],
            [
              0.0611,
              0.07162,
              0.08213,
              0.10283,
              0.14733,
              0.24161,
              0.43806
            ],
            [
              0.07269,
              0.08371,
              0.0946,
              0.11587,
              0.15769,
              0.24776,
              0.43863
            ],
            [
              0.08933,
              0.10105,
              0.11253,
              0.13474,
              0.1776,
              0.2621,
              0.44573
            ],
            [
              0.1134,
              0.12609,
              0.13834,
              0.16192,
              0.20659,
              0.29187,
              0.46353
            ],
            [
              0.14837,
              0.16189,
              0.17502,
              0.20046,
              0.2479,
              0.3365,
              0.5043
            ],
            [
              0.1986,
              0.213,
              0.2274,
              0.2548,
              0.3064,
              0.4001,
              0.574
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.11346,
              0.14589,
              0.17811,
              0.24134,
              0.36751,
              0.61921,
              1.11998
            ],
            [
              0.11345,
              0.14586,
              0.17817,
              0.24152,
              0.36775,
              0.6192,
              1.11959
            ],
            [
              0.11343,
              0.14588,
              0.17803,
              0.24137,
              0.36769,
              0.61843,
              1.11951
            ],
            [
              0.11354,
              0.14595,
              0.1781,
              0.24144,
              0.3678,
              0.6192,
              1.11863
            ],
            [
              0.11337,
              0.14588,
              0.17799,
              0.24148,
              0.36762,
              0.61918,
              1.11827
            ],
            [
              0.11322,
              0.14585,
              0.17791,
              0.2416,
              0.3678,
              0.61861,
              1.11863
            ],
            [
              0.11268,
              0.1456,
              0.17786,
              0.24163,
              0.36784,
              0.61841,
              1.12022
            ],
            [
              0.11569,
              0.14626,
              0.17756,
              0.24116,
              0.36789,
              0.61848,
              1.11995
            ],
            [
              0.12921,
              0.15683,
              0.1852,
              0.24403,
              0.36751,
              0.61906,
              1.11856
            ],
            [
              0.15761,
              0.18327,
              0.20841,
              0.26099,
              0.37392,
              0.61892,
              1.11856
            ],
            [
              0.19237,
              0.2247,
              0.25303,
              0.30141,
              0.40203,
              0.6272,
              1.1196
            ],
            [
              0.2386,
              0.2773,
              0.3108,
              0.3691,
              0.4661,
              0.6659,
              1.1241
            ],
            [
              0.2978,
              0.3451,
              0.3859,
              0.4557,
              0.5703,
              0.7586,
              1.1712
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04181,
              0.05105,
              0.05997,
              0.07761,
              0.11264,
              0.18244,
              0.32188
            ],
            [
              0.04455,
              0.05396,
              0.06298,
              0.08068,
              0.11577,
              0.1856,
              0.32506
            ],
            [
              0.04768,
              0.05724,
              0.06635,
              0.08419,
              0.11935,
              0.18928,
              0.32871
            ],
            [
              0.05196,
              0.06167,
              0.07093,
              0.0889,
              0.12419,
              0.19418,
              0.33369
            ],
            [
              0.05799,
              0.06787,
              0.07725,
              0.09537,
              0.13082,
              0.20092,
              0.34053
            ],
            [
              0.06587,
              0.07662,
              0.08621,
              0.10451,
              0.14015,
              0.21041,
              0.35016
            ],
            [
              0.07539,
              0.08756,
              0.09835,
              0.11775,
              0.15365,
              0.22415,
              0.36406
            ],
            [
              0.08716,
              0.10113,
              0.11343,
              0.1353,
              0.17358,
              0.24438,
              0.38451
            ],
            [
              0.10103,
              0.1177,
              0.13214,
              0.15732,
              0.20038,
              0.2744,
              0.41493
            ],
            [
              0.11646,
              0.13701,
              0.15457,
              0.18457,
              0.23424,
              0.31688,
              0.46024
            ],
            [
              0.1323,
              0.15819,
              0.18009,
              0.21696,
              0.27631,
              0.37104,
              0.52722
            ],
            [
              0.14629,
              0.17947,
              0.20727,
              0.25357,
              0.32667,
              0.43897,
              0.61587
            ],
            [
              0.1544,
              0.1976,
              0.2335,
              0.2925,
              0.3843,
              0.5215,
              0.7281
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.16612,
              0.19684,
              0.22717,
              0.28711,
              0.40595,
              0.64224,
              1.11317
            ],
            [
              0.16741,
              0.1983,
              0.22871,
              0.28875,
              0.40775,
              0.64399,
              1.11514
            ],
            [
              0.16946,
              0.20049,
              0.231,
              0.29125,
              0.41035,
              0.64669,
              1.11792
            ],
            [
              0.17308,
              0.20422,
              0.23489,
              0.29526,
              0.41464,
              0.65136,
              1.12228
            ],
            [
              0.17917,
              0.21043,
              0.24121,
              0.30174,
              0.42138,
              0.65836,
              1.12951
            ],
            [
              0.18921,
              0.2205,
              0.25131,
              0.31205,
              0.43189,
              0.66902,
              1.14092
            ],
            [
              0.2053,
              0.23651,
              0.26735,
              0.32816,
              0.44813,
              0.6856,
              1.15743
            ],
            [
              0.23092,
              0.26191,
              0.29261,
              0.35331,
              0.47329,
              0.71073,
              1.18316
            ],
            [
              0.27092,
              0.30141,
              0.33184,
              0.39212,
              0.51191,
              0.74956,
              1.22185
            ],
            [
              0.33064,
              0.36307,
              0.39245,
              0.45202,
              0.57113,
              0.80819,
              1.28049
            ],
            [
              0.40387,
              0.44362,
              0.47972,
              0.54412,
              0.66172,
              0.89782,
              1.36932
            ],
            [
              0.49287,
              0.54167,
              0.58607,
              0.66537,
              0.79947,
              1.03437,
              1.50437
            ],
            [
              0.6014,
              0.6612,
              0.7157,
              0.8133,
              0.9781,
              1.2418,
              1.7089
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04383,
              0.05597,
              0.06816,
              0.09265,
              0.14176,
              0.24061,
              0.43776
            ],
            [
              0.04383,
              0.05597,
              0.06815,
              0.09265,
              0.14172,
              0.24019,
              0.43826
            ],
            [
              0.04382,
              0.05597,
              0.06815,
              0.09266,
              0.14172,
              0.24037,
              0.43782
            ],
            [
              0.04386,
              0.05599,
              0.06815,
              0.09267,
              0.14176,
              0.24026,
              0.43813
            ],
            [
              0.0444,
              0.05614,
              0.06821,
              0.09267,
              0.14175,
              0.24026,
              0.43747
            ],
            [
              0.04687,
              0.05792,
              0.06937,
              0.09301,
              0.14173,
              0.24027,
              0.43791
            ],
            [
              0.05241,
              0.06241,
              0.07313,
              0.0956,
              0.14262,
              0.24027,
              0.43766
            ],
            [
              0.0604,
              0.0709,
              0.08141,
              0.10217,
              0.14682,
              0.24119,
              0.4381
            ],
            [
              0.07181,
              0.08284,
              0.09372,
              0.11507,
              0.15699,
              0.24709,
              0.43863
            ],
            [
              0.08835,
              0.10005,
              0.11153,
              0.13379,
              0.17673,
              0.26156,
              0.44462
            ],
            [
              0.11228,
              0.12491,
              0.13716,
              0.16075,
              0.20548,
              0.29093,
              0.46281
            ],
            [
              0.14695,
              0.16053,
              0.17376,
              0.19903,
              0.2466,
              0.3354,
              0.5034
            ],
            [
              0.1967,
              0.2113,
              0.2258,
              0.2534,
              0.3049,
              0.3987,
              0.5732
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.15701,
              0.20002,
              0.24238,
              0.32606,
              0.49205,
              0.82235,
              1.47871
            ],
            [
              0.15697,
              0.2,
              0.24209,
              0.32572,
              0.49199,
              0.82133,
              1.47803
            ],
            [
              0.1568,
              0.19998,
              0.24235,
              0.32611,
              0.49208,
              0.82147,
              1.4795
            ],
            [
              0.15689,
              0.19972,
              0.24232,
              0.32608,
              0.49207,
              0.8222,
              1.47975
            ],
            [
              0.1567,
              0.19959,
              0.242,
              0.32604,
              0.49202,
              0.82234,
              1.47904
            ],
            [
              0.15613,
              0.19941,
              0.24186,
              0.3259,
              0.49195,
              0.8218,
              1.47915
            ],
            [
              0.15561,
              0.199,
              0.24184,
              0.32563,
              0.49152,
              0.8222,
              1.47958
            ],
            [
              0.15478,
              0.19735,
              0.24081,
              0.32519,
              0.49204,
              0.82099,
              1.47985
            ],
            [
              0.16343,
              0.20259,
              0.24232,
              0.32433,
              0.49145,
              0.82202,
              1.47987
            ],
            [
              0.187,
              0.22268,
              0.25865,
              0.33337,
              0.49128,
              0.82206,
              1.47982
            ],
            [
              0.22385,
              0.26461,
              0.29787,
              0.36473,
              0.50876,
              0.821,
              1.4798
            ],
            [
              0.2701,
              0.3166,
              0.3579,
              0.4302,
              0.5596,
              0.8447,
              1.4784
            ],
            [
              0.331,
              0.3858,
              0.4343,
              0.5187,
              0.6598,
              0.9167,
              1.499
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.04181,
              0.05106,
              0.06001,
              0.07763,
              0.11267,
              0.18245,
              0.32188
            ],
            [
              0.04457,
              0.05399,
              0.063,
              0.0807,
              0.11578,
              0.18564,
              0.32507
            ],
            [
              0.04769,
              0.05727,
              0.06639,
              0.08423,
              0.1194,
              0.1893,
              0.32876
            ],
            [
              0.05201,
              0.06173,
              0.07097,
              0.08893,
              0.12422,
              0.1942,
              0.33371
            ],
            [
              0.058,
              0.0679,
              0.07727,
              0.09541,
              0.13084,
              0.20097,
              0.34057
            ],
            [
              0.06588,
              0.07664,
              0.08622,
              0.10453,
              0.14019,
              0.21045,
              0.35019
            ],
            [
              0.0754,
              0.08756,
              0.09835,
              0.11777,
              0.15367,
              0.22416,
              0.36405
            ],
            [
              0.08714,
              0.10112,
              0.11345,
              0.1353,
              0.17359,
              0.24438,
              0.38452
            ],
            [
              0.10102,
              0.11768,
              0.13212,
              0.15731,
              0.20037,
              0.2744,
              0.41493
            ],
            [
              0.11643,
              0.137,
              0.15456,
              0.18451,
              0.23423,
              0.31687,
              0.46026
            ],
            [
              0.13227,
              0.15817,
              0.18007,
              0.21693,
              0.27629,
              0.37102,
              0.52722
            ],
            [
              0.14626,
              0.17947,
              0.20727,
              0.25357,
              0.32667,
              0.43897,
              0.61587
            ],
            [
              0.1544,
              0.1976,
              0.2334,
              0.2925,
              0.3843,
              0.5215,
              0.7281
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.19866,
              0.22943,
              0.25966,
              0.31924,
              0.43672,
              0.66944,
              1.13197
            ],
            [
              0.20006,
              0.23093,
              0.26125,
              0.32089,
              0.43855,
              0.67137,
              1.13404
            ],
            [
              0.20227,
              0.23323,
              0.26365,
              0.32343,
              0.44119,
              0.67414,
              1.13682
            ],
            [
              0.20611,
              0.23717,
              0.26764,
              0.3276,
              0.44554,
              0.67861,
              1.14148
            ],
            [
              0.21251,
              0.24365,
              0.27421,
              0.33426,
              0.45245,
              0.68576,
              1.14871
            ],
            [
              0.22282,
              0.25398,
              0.28461,
              0.3448,
              0.46309,
              0.69668,
              1.15992
            ],
            [
              0.23914,
              0.27028,
              0.3009,
              0.3611,
              0.47957,
              0.71337,
              1.17693
            ],
            [
              0.26468,
              0.29572,
              0.32622,
              0.38647,
              0.50488,
              0.73881,
              1.20286
            ],
            [
              0.3044,
              0.33525,
              0.36565,
              0.42558,
              0.54394,
              0.77795,
              1.24195
            ],
            [
              0.36647,
              0.39614,
              0.42616,
              0.4857,
              0.60352,
              0.83709,
              1.30089
            ],
            [
              0.44902,
              0.48492,
              0.51782,
              0.57772,
              0.69452,
              0.92722,
              1.39052
            ],
            [
              0.54987,
              0.59387,
              0.63447,
              0.70767,
              0.83387,
              1.06457,
              1.52657
            ],
            [
              0.6726,
              0.7266,
              0.7765,
              0.8666,
              1.0215,
              1.2732,
              1.7325
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.05573,
              0.06945,
              0.08287,
              0.10892,
              0.15942,
              0.25832,
              0.4549
            ],
            [
              0.05574,
              0.06945,
              0.08286,
              0.10892,
              0.15941,
              0.25833,
              0.45499
            ],
            [
              0.05575,
              0.06946,
              0.08288,
              0.10894,
              0.1594,
              0.25832,
              0.45489
            ],
            [
              0.05576,
              0.06944,
              0.08287,
              0.10893,
              0.15942,
              0.25834,
              0.45492
            ],
            [
              0.0563,
              0.0696,
              0.08291,
              0.10893,
              0.15943,
              0.25835,
              0.45515
            ],
            [
              0.0588,
              0.07139,
              0.08408,
              0.10927,
              0.15942,
              0.25836,
              0.45489
            ],
            [
              0.06466,
              0.07592,
              0.08782,
              0.11191,
              0.16026,
              0.25835,
              0.45494
            ],
            [
              0.07621,
              0.08641,
              0.09634,
              0.11845,
              0.1645,
              0.25934,
              0.45491
            ],
            [
              0.09059,
              0.10087,
              0.11137,
              0.13242,
              0.17464,
              0.26512,
              0.45541
            ],
            [
              0.11051,
              0.12108,
              0.13179,
              0.15316,
              0.19516,
              0.27951,
              0.46215
            ],
            [
              0.13854,
              0.14941,
              0.1605,
              0.18257,
              0.22569,
              0.30915,
              0.48041
            ],
            [
              0.17868,
              0.18956,
              0.20099,
              0.22407,
              0.269,
              0.3552,
              0.5207
            ],
            [
              0.2366,
              0.247,
              0.2587,
              0.2827,
              0.3301,
              0.4204,
              0.5912
            ]
          ]
        },
        "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.00455,
            0.0091,
            0.01819,
            0.03638,
            0.07276,
            0.14552
          ],
          "values": [
            [
              0.18109,
              0.22329,
              0.26488,
              0.34757,
              0.51128,
              0.83623,
              1.48356
            ],
            [
              0.18104,
              0.2231,
              0.26509,
              0.34769,
              0.51133,
              0.83588,
              1.48236
            ],
            [
              0.18109,
              0.22313,
              0.26512,
              0.34768,
              0.51128,
              0.83629,
              1.48339
            ],
            [
              0.18092,
              0.22305,
              0.26516,
              0.34743,
              0.51133,
              0.8359,
              1.48233
            ],
            [
              0.18105,
              0.22335,
              0.26514,
              0.34739,
              0.51134,
              0.83589,
              1.48303
            ],
            [
              0.18091,
              0.2232,
              0.26508,
              0.34739,
              0.51134,
              0.83597,
              1.48335
            ],
            [
              0.18068,
              0.22312,
              0.2649,
              0.34724,
              0.51133,
              0.8364,
              1.48374
            ],
            [
              0.17918,
              0.22252,
              0.26458,
              0.34756,
              0.51109,
              0.83651,
              1.48259
            ],
            [
              0.18271,
              0.22282,
              0.26373,
              0.34654,
              0.51116,
              0.83638,
              1.48423
            ],
            [
              0.20104,
              0.23775,
              0.2752,
              0.35148,
              0.51043,
              0.83541,
              1.4828
            ],
            [
              0.23969,
              0.27508,
              0.30863,
              0.37757,
              0.52353,
              0.8355,
              1.4838
            ],
            [
              0.2874,
              0.3313,
              0.3706,
              0.4384,
              0.5693,
              0.8553,
              1.4838
            ],
            [
              0.3515,
              0.4034,
              0.4493,
              0.5302,
              0.6659,
              0.9228,
              1.5015
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}