{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_hs__a32o",
  "cell_leakage_power": 550.45485,
  "leakage_power": [
    {
      "value": 634.85593,
      "when": "!A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 636.98393,
      "when": "!A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 636.15193,
      "when": "!A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 507.97648,
      "when": "!A1&!A2&!A3&B1&B2"
    },
    {
      "value": 634.66393,
      "when": "!A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 636.79193,
      "when": "!A1&!A2&A3&!B1&B2"
    },
    {
      "value": 635.94393,
      "when": "!A1&!A2&A3&B1&!B2"
    },
    {
      "value": 506.02448,
      "when": "!A1&!A2&A3&B1&B2"
    },
    {
      "value": 635.03194,
      "when": "!A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 637.14394,
      "when": "!A1&A2&!A3&!B1&B2"
    },
    {
      "value": 636.32794,
      "when": "!A1&A2&!A3&B1&!B2"
    },
    {
      "value": 506.96849,
      "when": "!A1&A2&!A3&B1&B2"
    },
    {
      "value": 636.87193,
      "when": "!A1&A2&A3&!B1&!B2"
    },
    {
      "value": 639.03193,
      "when": "!A1&A2&A3&!B1&B2"
    },
    {
      "value": 638.18393,
      "when": "!A1&A2&A3&B1&!B2"
    },
    {
      "value": 502.18449,
      "when": "!A1&A2&A3&B1&B2"
    },
    {
      "value": 635.04794,
      "when": "A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 637.19194,
      "when": "A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 636.34394,
      "when": "A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 506.05648,
      "when": "A1&!A2&!A3&B1&B2"
    },
    {
      "value": 636.42393,
      "when": "A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 638.58393,
      "when": "A1&!A2&A3&!B1&B2"
    },
    {
      "value": 637.73593,
      "when": "A1&!A2&A3&B1&!B2"
    },
    {
      "value": 501.30448,
      "when": "A1&!A2&A3&B1&B2"
    },
    {
      "value": 637.03194,
      "when": "A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 639.19195,
      "when": "A1&A2&!A3&!B1&B2"
    },
    {
      "value": 638.32795,
      "when": "A1&A2&!A3&B1&!B2"
    },
    {
      "value": 501.54449,
      "when": "A1&A2&!A3&B1&B2"
    },
    {
      "value": 241.91083,
      "when": "A1&A2&A3&!B1&!B2"
    },
    {
      "value": 216.35952,
      "when": "A1&A2&A3&!B1&B2"
    },
    {
      "value": 230.18362,
      "when": "A1&A2&A3&B1&!B2"
    },
    {
      "value": 20.17918,
      "when": "A1&A2&A3&B1&B2"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00277,
    "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.00259,
          0.00238,
          0.00239,
          0.00222,
          0.00228,
          0.00226,
          0.00228,
          0.00229,
          0.00231,
          0.00262,
          0.00268,
          0.00312,
          0.00339
        ]
      },
      "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.00269,
          0.00271,
          0.00258,
          0.0026,
          0.00258,
          0.00258,
          0.00259,
          0.00262,
          0.00268,
          0.00311,
          0.00328,
          0.00397,
          0.00452
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00285,
    "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.00265,
          0.00258,
          0.00246,
          0.00241,
          0.00239,
          0.00239,
          0.00239,
          0.00241,
          0.00244,
          0.00282,
          0.00295,
          0.00355,
          0.00403
        ]
      },
      "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.00207,
          0.00215,
          0.00207,
          0.00205,
          0.00202,
          0.00203,
          0.00204,
          0.00203,
          0.00206,
          0.00235,
          0.00241,
          0.00279,
          0.00298
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00281,
    "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.00357,
          0.00342,
          0.00343,
          0.00327,
          0.00329,
          0.00328,
          0.00331,
          0.00333,
          0.00339,
          0.00392,
          0.0041,
          0.00488,
          0.00539
        ]
      },
      "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.00198,
          0.00222,
          0.00198,
          0.002,
          0.00195,
          0.00196,
          0.00197,
          0.00197,
          0.00197,
          0.00222,
          0.00222,
          0.00249,
          0.0026
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.0028,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00212,
          0.0023,
          0.00204,
          0.00202,
          0.00198,
          0.00197,
          0.00198,
          0.00196,
          0.00197,
          0.00222,
          0.00224,
          0.00251,
          0.00273
        ]
      },
      "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.0032,
          0.00284,
          0.00298,
          0.00296,
          0.00292,
          0.00293,
          0.00294,
          0.003,
          0.00308,
          0.00361,
          0.00385,
          0.00471,
          0.0054
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00265,
    "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.00309,
          0.00298,
          0.003,
          0.00302,
          0.00301,
          0.00301,
          0.00303,
          0.00309,
          0.00317,
          0.00371,
          0.00395,
          0.00479,
          0.00545
        ]
      },
      "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.00209,
          0.00233,
          0.0019,
          0.00187,
          0.00183,
          0.00181,
          0.00182,
          0.00181,
          0.00182,
          0.00204,
          0.00205,
          0.00232,
          0.00246
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A1&A2&A3) | (B1&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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03326,
              0.0242,
              0.01532,
              -0.00269,
              -0.0392,
              -0.11277,
              -0.26024
            ],
            [
              0.03324,
              0.02417,
              0.0153,
              -0.00271,
              -0.03923,
              -0.11279,
              -0.26026
            ],
            [
              0.03322,
              0.02414,
              0.01527,
              -0.00272,
              -0.03924,
              -0.11281,
              -0.26028
            ],
            [
              0.03316,
              0.02409,
              0.0152,
              -0.0028,
              -0.0393,
              -0.11286,
              -0.26034
            ],
            [
              0.03309,
              0.02402,
              0.01514,
              -0.00287,
              -0.03938,
              -0.11294,
              -0.26042
            ],
            [
              0.033,
              0.02393,
              0.01505,
              -0.00297,
              -0.03947,
              -0.11303,
              -0.2605
            ],
            [
              0.0329,
              0.02382,
              0.01494,
              -0.00308,
              -0.03958,
              -0.11314,
              -0.26062
            ],
            [
              0.03279,
              0.0237,
              0.0148,
              -0.00321,
              -0.03973,
              -0.11327,
              -0.26074
            ],
            [
              0.03268,
              0.02357,
              0.01466,
              -0.00338,
              -0.03986,
              -0.1134,
              -0.26085
            ],
            [
              0.03263,
              0.02345,
              0.0145,
              -0.00354,
              -0.04003,
              -0.11353,
              -0.26096
            ],
            [
              0.03276,
              0.0234,
              0.01439,
              -0.00369,
              -0.04016,
              -0.11363,
              -0.26104
            ],
            [
              0.03313,
              0.0235,
              0.01438,
              -0.00377,
              -0.04024,
              -0.11367,
              -0.26102
            ],
            [
              0.03378,
              0.02385,
              0.01463,
              -0.00361,
              -0.04016,
              -0.11359,
              -0.26089
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.01601,
              0.02526,
              0.03454,
              0.05296,
              0.08966,
              0.16281,
              0.31037
            ],
            [
              0.01594,
              0.02519,
              0.03446,
              0.05289,
              0.0896,
              0.16266,
              0.30994
            ],
            [
              0.0159,
              0.02516,
              0.03441,
              0.05281,
              0.08949,
              0.16268,
              0.30992
            ],
            [
              0.01588,
              0.02515,
              0.03441,
              0.05281,
              0.08943,
              0.16253,
              0.30993
            ],
            [
              0.01581,
              0.02505,
              0.03434,
              0.05276,
              0.08935,
              0.16262,
              0.30958
            ],
            [
              0.01574,
              0.025,
              0.03425,
              0.0527,
              0.0893,
              0.1626,
              0.30921
            ],
            [
              0.01564,
              0.0249,
              0.03419,
              0.05262,
              0.08919,
              0.16251,
              0.30993
            ],
            [
              0.01555,
              0.0248,
              0.03408,
              0.05246,
              0.08914,
              0.16244,
              0.30934
            ],
            [
              0.01553,
              0.02475,
              0.03398,
              0.05236,
              0.08905,
              0.16243,
              0.30932
            ],
            [
              0.01562,
              0.02473,
              0.03395,
              0.05234,
              0.08895,
              0.16211,
              0.30891
            ],
            [
              0.01583,
              0.02484,
              0.03399,
              0.05225,
              0.08891,
              0.16206,
              0.30913
            ],
            [
              0.01629,
              0.02517,
              0.03434,
              0.0526,
              0.08912,
              0.16212,
              0.30892
            ],
            [
              0.0171,
              0.0258,
              0.03482,
              0.05318,
              0.08974,
              0.16257,
              0.30917
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.036,
              0.02678,
              0.01784,
              -0.00019,
              -0.03668,
              -0.11019,
              -0.25763
            ],
            [
              0.03595,
              0.02672,
              0.01779,
              -0.00023,
              -0.03673,
              -0.11024,
              -0.25768
            ],
            [
              0.03593,
              0.02671,
              0.01778,
              -0.00024,
              -0.03674,
              -0.11025,
              -0.2577
            ],
            [
              0.03588,
              0.02665,
              0.01771,
              -0.0003,
              -0.03679,
              -0.11031,
              -0.25775
            ],
            [
              0.03582,
              0.02659,
              0.01765,
              -0.00037,
              -0.03686,
              -0.11037,
              -0.25782
            ],
            [
              0.03575,
              0.02652,
              0.01759,
              -0.00044,
              -0.03693,
              -0.11044,
              -0.25788
            ],
            [
              0.03566,
              0.02644,
              0.0175,
              -0.00053,
              -0.03701,
              -0.11052,
              -0.25797
            ],
            [
              0.03558,
              0.02635,
              0.0174,
              -0.00063,
              -0.03711,
              -0.11062,
              -0.25806
            ],
            [
              0.0355,
              0.02626,
              0.01729,
              -0.00075,
              -0.03723,
              -0.11073,
              -0.25816
            ],
            [
              0.03545,
              0.02616,
              0.01717,
              -0.00088,
              -0.03736,
              -0.11083,
              -0.25824
            ],
            [
              0.03554,
              0.02613,
              0.01708,
              -0.00101,
              -0.03748,
              -0.11092,
              -0.25831
            ],
            [
              0.03589,
              0.02621,
              0.01707,
              -0.00109,
              -0.03756,
              -0.11097,
              -0.25832
            ],
            [
              0.03651,
              0.02655,
              0.01732,
              -0.00095,
              -0.03752,
              -0.11093,
              -0.2582
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.01601,
              0.02526,
              0.03453,
              0.05294,
              0.08951,
              0.16268,
              0.30964
            ],
            [
              0.01598,
              0.02523,
              0.0345,
              0.0529,
              0.08939,
              0.16276,
              0.30969
            ],
            [
              0.01594,
              0.02519,
              0.03445,
              0.05284,
              0.08938,
              0.16264,
              0.30944
            ],
            [
              0.01589,
              0.02515,
              0.03441,
              0.05281,
              0.08941,
              0.16269,
              0.30941
            ],
            [
              0.01583,
              0.02508,
              0.03436,
              0.05273,
              0.08929,
              0.16264,
              0.30933
            ],
            [
              0.01578,
              0.02502,
              0.03432,
              0.05272,
              0.08927,
              0.16226,
              0.30963
            ],
            [
              0.0157,
              0.02497,
              0.03423,
              0.05262,
              0.08918,
              0.16262,
              0.30908
            ],
            [
              0.01561,
              0.02486,
              0.03412,
              0.05255,
              0.08918,
              0.16233,
              0.30962
            ],
            [
              0.01557,
              0.02477,
              0.03401,
              0.05243,
              0.08905,
              0.16232,
              0.30984
            ],
            [
              0.01558,
              0.02473,
              0.03395,
              0.05232,
              0.08897,
              0.16215,
              0.30873
            ],
            [
              0.01568,
              0.02478,
              0.03394,
              0.05222,
              0.08877,
              0.16189,
              0.30874
            ],
            [
              0.01595,
              0.02492,
              0.03412,
              0.05245,
              0.08891,
              0.162,
              0.30913
            ],
            [
              0.01646,
              0.02526,
              0.03433,
              0.05279,
              0.08936,
              0.16219,
              0.30882
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03825,
              0.02888,
              0.01977,
              0.00147,
              -0.03536,
              -0.10915,
              -0.25679
            ],
            [
              0.03821,
              0.02883,
              0.01972,
              0.00141,
              -0.0354,
              -0.1092,
              -0.25683
            ],
            [
              0.03815,
              0.02877,
              0.01965,
              0.00136,
              -0.03546,
              -0.10925,
              -0.25688
            ],
            [
              0.03812,
              0.02874,
              0.01962,
              0.00131,
              -0.03549,
              -0.10929,
              -0.25692
            ],
            [
              0.03806,
              0.02867,
              0.01956,
              0.00127,
              -0.03555,
              -0.10934,
              -0.25698
            ],
            [
              0.038,
              0.02862,
              0.01952,
              0.00122,
              -0.0356,
              -0.10938,
              -0.25702
            ],
            [
              0.03793,
              0.02856,
              0.01945,
              0.00114,
              -0.03566,
              -0.10944,
              -0.25707
            ],
            [
              0.03787,
              0.02849,
              0.01937,
              0.00107,
              -0.03572,
              -0.1095,
              -0.25713
            ],
            [
              0.03779,
              0.02841,
              0.01928,
              0.00098,
              -0.0358,
              -0.10956,
              -0.25718
            ],
            [
              0.03774,
              0.02834,
              0.01921,
              0.00092,
              -0.03584,
              -0.10957,
              -0.25718
            ],
            [
              0.03782,
              0.02832,
              0.01915,
              0.00087,
              -0.03585,
              -0.10957,
              -0.25717
            ],
            [
              0.03815,
              0.02841,
              0.01919,
              0.00089,
              -0.03583,
              -0.10951,
              -0.25708
            ],
            [
              0.03875,
              0.02877,
              0.01946,
              0.00107,
              -0.03571,
              -0.10936,
              -0.25688
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.01601,
              0.02527,
              0.03454,
              0.05293,
              0.08941,
              0.16259,
              0.30953
            ],
            [
              0.01597,
              0.02523,
              0.0345,
              0.05289,
              0.0894,
              0.16271,
              0.30897
            ],
            [
              0.01594,
              0.0252,
              0.03443,
              0.05283,
              0.0894,
              0.16244,
              0.30987
            ],
            [
              0.01589,
              0.02514,
              0.03439,
              0.0528,
              0.08929,
              0.16263,
              0.30937
            ],
            [
              0.01583,
              0.02506,
              0.03431,
              0.05273,
              0.08927,
              0.16233,
              0.30931
            ],
            [
              0.01576,
              0.025,
              0.03425,
              0.05267,
              0.08917,
              0.16224,
              0.30949
            ],
            [
              0.01568,
              0.02492,
              0.03418,
              0.05258,
              0.08915,
              0.16232,
              0.30941
            ],
            [
              0.01557,
              0.02483,
              0.03406,
              0.05244,
              0.08904,
              0.16222,
              0.30968
            ],
            [
              0.0155,
              0.02472,
              0.03394,
              0.05232,
              0.08892,
              0.16201,
              0.30915
            ],
            [
              0.01549,
              0.02464,
              0.03389,
              0.05229,
              0.08891,
              0.16211,
              0.30889
            ],
            [
              0.01551,
              0.02464,
              0.03383,
              0.05212,
              0.08871,
              0.16172,
              0.30873
            ],
            [
              0.01567,
              0.0247,
              0.03392,
              0.0523,
              0.08874,
              0.16211,
              0.3087
            ],
            [
              0.01603,
              0.02494,
              0.03405,
              0.05255,
              0.0891,
              0.16195,
              0.30865
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02136,
              0.01233,
              0.00341,
              -0.01467,
              -0.05126,
              -0.12486,
              -0.27235
            ],
            [
              0.02132,
              0.01229,
              0.00338,
              -0.01471,
              -0.0513,
              -0.1249,
              -0.27239
            ],
            [
              0.02126,
              0.01225,
              0.00333,
              -0.01474,
              -0.05133,
              -0.12494,
              -0.27243
            ],
            [
              0.02121,
              0.01218,
              0.00327,
              -0.01482,
              -0.0514,
              -0.125,
              -0.2725
            ],
            [
              0.02112,
              0.0121,
              0.00318,
              -0.0149,
              -0.05148,
              -0.12508,
              -0.27258
            ],
            [
              0.02103,
              0.01198,
              0.00307,
              -0.01502,
              -0.0516,
              -0.1252,
              -0.27269
            ],
            [
              0.02092,
              0.01187,
              0.00293,
              -0.01514,
              -0.05172,
              -0.12531,
              -0.2728
            ],
            [
              0.02084,
              0.01177,
              0.00281,
              -0.01527,
              -0.05183,
              -0.12541,
              -0.27288
            ],
            [
              0.02083,
              0.0117,
              0.00272,
              -0.01537,
              -0.05191,
              -0.12546,
              -0.27291
            ],
            [
              0.02103,
              0.01178,
              0.00276,
              -0.01536,
              -0.05189,
              -0.12541,
              -0.27284
            ],
            [
              0.0216,
              0.01208,
              0.00298,
              -0.01517,
              -0.0517,
              -0.1252,
              -0.2726
            ],
            [
              0.02261,
              0.01278,
              0.00358,
              -0.01467,
              -0.05125,
              -0.12472,
              -0.27208
            ],
            [
              0.02413,
              0.01393,
              0.00462,
              -0.01373,
              -0.05037,
              -0.12388,
              -0.27122
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.01157,
              0.02128,
              0.03077,
              0.04938,
              0.08623,
              0.15932,
              0.30645
            ],
            [
              0.01155,
              0.02125,
              0.03076,
              0.04937,
              0.08611,
              0.15941,
              0.3063
            ],
            [
              0.01152,
              0.02123,
              0.03075,
              0.04935,
              0.08607,
              0.15919,
              0.30608
            ],
            [
              0.01147,
              0.02118,
              0.0307,
              0.04928,
              0.08601,
              0.15914,
              0.30644
            ],
            [
              0.01143,
              0.02113,
              0.03061,
              0.04921,
              0.08601,
              0.15915,
              0.30612
            ],
            [
              0.01136,
              0.02103,
              0.03054,
              0.04911,
              0.08598,
              0.15923,
              0.30614
            ],
            [
              0.01128,
              0.02088,
              0.03035,
              0.04893,
              0.08585,
              0.15899,
              0.30592
            ],
            [
              0.01122,
              0.02072,
              0.03011,
              0.04869,
              0.08556,
              0.15882,
              0.3059
            ],
            [
              0.01122,
              0.02058,
              0.02996,
              0.04851,
              0.08536,
              0.15868,
              0.30564
            ],
            [
              0.01133,
              0.0206,
              0.0299,
              0.04838,
              0.08516,
              0.15842,
              0.30557
            ],
            [
              0.01159,
              0.02077,
              0.03005,
              0.04846,
              0.08511,
              0.15838,
              0.30579
            ],
            [
              0.01213,
              0.02111,
              0.03038,
              0.04882,
              0.08549,
              0.15861,
              0.30476
            ],
            [
              0.01316,
              0.02194,
              0.03103,
              0.04944,
              0.08619,
              0.1592,
              0.30618
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02398,
              0.0149,
              0.00596,
              -0.01214,
              -0.04871,
              -0.12229,
              -0.26977
            ],
            [
              0.02395,
              0.01484,
              0.00589,
              -0.0122,
              -0.04877,
              -0.12236,
              -0.26983
            ],
            [
              0.02393,
              0.01482,
              0.00588,
              -0.01222,
              -0.04879,
              -0.12237,
              -0.26985
            ],
            [
              0.02388,
              0.01478,
              0.00583,
              -0.01226,
              -0.04884,
              -0.12242,
              -0.2699
            ],
            [
              0.02382,
              0.01472,
              0.00577,
              -0.01231,
              -0.04888,
              -0.12247,
              -0.26994
            ],
            [
              0.02378,
              0.01467,
              0.00572,
              -0.01238,
              -0.04894,
              -0.12252,
              -0.27
            ],
            [
              0.02373,
              0.01461,
              0.00564,
              -0.01245,
              -0.04901,
              -0.12259,
              -0.27006
            ],
            [
              0.0237,
              0.01455,
              0.00559,
              -0.01251,
              -0.04907,
              -0.12263,
              -0.2701
            ],
            [
              0.02374,
              0.01455,
              0.00555,
              -0.01256,
              -0.0491,
              -0.12264,
              -0.27009
            ],
            [
              0.02397,
              0.01468,
              0.00565,
              -0.01248,
              -0.04902,
              -0.12254,
              -0.26996
            ],
            [
              0.02455,
              0.01502,
              0.00592,
              -0.01225,
              -0.04879,
              -0.12229,
              -0.26968
            ],
            [
              0.02566,
              0.01585,
              0.00664,
              -0.01163,
              -0.04821,
              -0.12168,
              -0.26904
            ],
            [
              0.0273,
              0.01714,
              0.00782,
              -0.01054,
              -0.04719,
              -0.12071,
              -0.26806
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.01146,
              0.02116,
              0.03069,
              0.04928,
              0.08604,
              0.15914,
              0.3059
            ],
            [
              0.01151,
              0.02122,
              0.03075,
              0.04934,
              0.08612,
              0.15919,
              0.30632
            ],
            [
              0.0115,
              0.0212,
              0.0307,
              0.04933,
              0.08619,
              0.15933,
              0.30641
            ],
            [
              0.01145,
              0.02117,
              0.0307,
              0.0493,
              0.08613,
              0.15907,
              0.30645
            ],
            [
              0.01142,
              0.02111,
              0.03062,
              0.04923,
              0.08611,
              0.1593,
              0.30623
            ],
            [
              0.01134,
              0.02102,
              0.03052,
              0.04912,
              0.08601,
              0.15917,
              0.30599
            ],
            [
              0.01126,
              0.02089,
              0.03039,
              0.04896,
              0.08592,
              0.159,
              0.30623
            ],
            [
              0.01117,
              0.02073,
              0.0302,
              0.04877,
              0.08559,
              0.15885,
              0.30587
            ],
            [
              0.01111,
              0.02058,
              0.02999,
              0.04857,
              0.08534,
              0.15857,
              0.30579
            ],
            [
              0.01114,
              0.02052,
              0.02984,
              0.04841,
              0.08521,
              0.15862,
              0.30547
            ],
            [
              0.01129,
              0.02058,
              0.02992,
              0.04839,
              0.08505,
              0.1583,
              0.30548
            ],
            [
              0.01169,
              0.02081,
              0.03012,
              0.04865,
              0.08538,
              0.15839,
              0.30494
            ],
            [
              0.01256,
              0.0215,
              0.03066,
              0.04918,
              0.08598,
              0.15902,
              0.306
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.15267,
    "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.22656,
              0.26935,
              0.29756,
              0.34162,
              0.41281,
              0.53552,
              0.76339
            ],
            [
              0.2295,
              0.27231,
              0.30055,
              0.34466,
              0.41575,
              0.5385,
              0.76612
            ],
            [
              0.23293,
              0.27574,
              0.30396,
              0.34802,
              0.41926,
              0.54188,
              0.7699
            ],
            [
              0.238,
              0.2808,
              0.30902,
              0.35315,
              0.42428,
              0.547,
              0.77475
            ],
            [
              0.24568,
              0.28844,
              0.31666,
              0.36075,
              0.43199,
              0.55463,
              0.78262
            ],
            [
              0.25725,
              0.30003,
              0.32824,
              0.3723,
              0.44355,
              0.56623,
              0.79416
            ],
            [
              0.27444,
              0.31716,
              0.34537,
              0.38945,
              0.46069,
              0.58337,
              0.81135
            ],
            [
              0.29968,
              0.34237,
              0.3705,
              0.41462,
              0.48589,
              0.60861,
              0.83656
            ],
            [
              0.33701,
              0.37963,
              0.40778,
              0.45191,
              0.52327,
              0.64609,
              0.87395
            ],
            [
              0.39134,
              0.43427,
              0.46254,
              0.50683,
              0.57834,
              0.70129,
              0.92929
            ],
            [
              0.45962,
              0.50612,
              0.53622,
              0.58242,
              0.65532,
              0.77892,
              1.00712
            ],
            [
              0.54107,
              0.59217,
              0.62487,
              0.67467,
              0.75177,
              0.87887,
              1.10847
            ],
            [
              0.6353,
              0.6927,
              0.7289,
              0.7832,
              0.8659,
              0.9984,
              1.2318
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.17652,
              0.23223,
              0.27115,
              0.33885,
              0.46497,
              0.71318,
              1.20667
            ],
            [
              0.1788,
              0.23451,
              0.27343,
              0.34115,
              0.46721,
              0.71528,
              1.20904
            ],
            [
              0.18165,
              0.23737,
              0.27624,
              0.34396,
              0.4702,
              0.71849,
              1.21182
            ],
            [
              0.18602,
              0.24174,
              0.28064,
              0.34837,
              0.47459,
              0.72215,
              1.21638
            ],
            [
              0.19266,
              0.24838,
              0.28733,
              0.35501,
              0.48134,
              0.72947,
              1.22151
            ],
            [
              0.20281,
              0.25853,
              0.2974,
              0.36513,
              0.49156,
              0.73892,
              1.23272
            ],
            [
              0.21822,
              0.27396,
              0.31285,
              0.38063,
              0.50696,
              0.75518,
              1.24823
            ],
            [
              0.2416,
              0.29734,
              0.33622,
              0.40398,
              0.53037,
              0.77781,
              1.27186
            ],
            [
              0.2771,
              0.33262,
              0.37145,
              0.43911,
              0.5654,
              0.81365,
              1.30735
            ],
            [
              0.32403,
              0.38089,
              0.42004,
              0.48782,
              0.61399,
              0.86189,
              1.35519
            ],
            [
              0.38047,
              0.43969,
              0.47962,
              0.54832,
              0.67502,
              0.92302,
              1.41662
            ],
            [
              0.44667,
              0.51017,
              0.55107,
              0.62037,
              0.74777,
              0.99607,
              1.48957
            ],
            [
              0.5226,
              0.5923,
              0.6352,
              0.7058,
              0.8331,
              1.0821,
              1.5747
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02985,
              0.0601,
              0.0829,
              0.12236,
              0.19475,
              0.33731,
              0.62946
            ],
            [
              0.02986,
              0.06017,
              0.0829,
              0.12236,
              0.195,
              0.33697,
              0.63023
            ],
            [
              0.02987,
              0.06011,
              0.08289,
              0.12242,
              0.19464,
              0.33735,
              0.63049
            ],
            [
              0.02985,
              0.06009,
              0.08291,
              0.12236,
              0.1951,
              0.33692,
              0.63038
            ],
            [
              0.02987,
              0.0601,
              0.08291,
              0.12237,
              0.19465,
              0.33733,
              0.63045
            ],
            [
              0.02986,
              0.0601,
              0.08289,
              0.12252,
              0.19473,
              0.33719,
              0.63058
            ],
            [
              0.02988,
              0.06009,
              0.08289,
              0.1223,
              0.19473,
              0.33737,
              0.63004
            ],
            [
              0.02986,
              0.06013,
              0.08298,
              0.12229,
              0.19473,
              0.33734,
              0.62972
            ],
            [
              0.0299,
              0.06023,
              0.0829,
              0.12248,
              0.19498,
              0.33707,
              0.6296
            ],
            [
              0.03131,
              0.0612,
              0.08374,
              0.12301,
              0.19494,
              0.33738,
              0.6304
            ],
            [
              0.03608,
              0.0671,
              0.0894,
              0.1278,
              0.1982,
              0.3389,
              0.6302
            ],
            [
              0.0427,
              0.0754,
              0.0987,
              0.1381,
              0.2087,
              0.3462,
              0.6338
            ],
            [
              0.0521,
              0.0872,
              0.1116,
              0.1521,
              0.2226,
              0.3589,
              0.6409
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03698,
              0.08549,
              0.12831,
              0.21498,
              0.39397,
              0.75981,
              1.49747
            ],
            [
              0.03698,
              0.0856,
              0.12833,
              0.21497,
              0.39386,
              0.76068,
              1.49768
            ],
            [
              0.03702,
              0.08562,
              0.12854,
              0.21472,
              0.39403,
              0.76158,
              1.49712
            ],
            [
              0.03697,
              0.08554,
              0.12842,
              0.21493,
              0.39355,
              0.76225,
              1.49784
            ],
            [
              0.03698,
              0.08556,
              0.12843,
              0.21474,
              0.39421,
              0.76161,
              1.49707
            ],
            [
              0.03703,
              0.0856,
              0.12859,
              0.21465,
              0.39415,
              0.76015,
              1.49636
            ],
            [
              0.03697,
              0.08556,
              0.12841,
              0.21482,
              0.39409,
              0.76095,
              1.49597
            ],
            [
              0.03692,
              0.08548,
              0.12842,
              0.21475,
              0.39386,
              0.75991,
              1.49667
            ],
            [
              0.03703,
              0.08559,
              0.12833,
              0.21473,
              0.39398,
              0.76078,
              1.49782
            ],
            [
              0.03949,
              0.08759,
              0.12975,
              0.21551,
              0.39382,
              0.75998,
              1.5024
            ],
            [
              0.0438,
              0.09095,
              0.13315,
              0.2183,
              0.3953,
              0.7598,
              1.4971
            ],
            [
              0.0501,
              0.0968,
              0.1375,
              0.2209,
              0.3979,
              0.7617,
              1.4985
            ],
            [
              0.058,
              0.1058,
              0.1445,
              0.2257,
              0.4,
              0.7626,
              1.5011
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.26534,
              0.31047,
              0.33972,
              0.38501,
              0.45743,
              0.58098,
              0.80929
            ],
            [
              0.26826,
              0.31339,
              0.34265,
              0.38801,
              0.46044,
              0.58394,
              0.81247
            ],
            [
              0.27159,
              0.31672,
              0.34599,
              0.39131,
              0.46374,
              0.58728,
              0.81558
            ],
            [
              0.27653,
              0.32165,
              0.35092,
              0.39626,
              0.46855,
              0.59218,
              0.82061
            ],
            [
              0.284,
              0.32909,
              0.35836,
              0.40373,
              0.47618,
              0.59969,
              0.82822
            ],
            [
              0.29524,
              0.34031,
              0.36959,
              0.41496,
              0.48725,
              0.6109,
              0.83944
            ],
            [
              0.31169,
              0.35674,
              0.38598,
              0.43125,
              0.50378,
              0.6273,
              0.85584
            ],
            [
              0.33536,
              0.38039,
              0.40959,
              0.45486,
              0.52729,
              0.65089,
              0.87946
            ],
            [
              0.3696,
              0.41457,
              0.4438,
              0.48908,
              0.56149,
              0.68515,
              0.91355
            ],
            [
              0.4194,
              0.46441,
              0.49361,
              0.53901,
              0.61161,
              0.73549,
              0.96409
            ],
            [
              0.48392,
              0.53162,
              0.56192,
              0.60852,
              0.68192,
              0.80612,
              1.03472
            ],
            [
              0.56177,
              0.61307,
              0.64557,
              0.69517,
              0.77217,
              0.89927,
              1.12917
            ],
            [
              0.6546,
              0.7106,
              0.7458,
              0.7991,
              0.8805,
              1.0122,
              1.2454
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.16007,
              0.21579,
              0.25473,
              0.32253,
              0.44875,
              0.6969,
              1.18957
            ],
            [
              0.1623,
              0.21802,
              0.25694,
              0.32478,
              0.4511,
              0.69917,
              1.19144
            ],
            [
              0.16508,
              0.2208,
              0.25981,
              0.32755,
              0.45398,
              0.70128,
              1.19552
            ],
            [
              0.16936,
              0.22509,
              0.26411,
              0.33182,
              0.45828,
              0.70583,
              1.19988
            ],
            [
              0.17594,
              0.23166,
              0.27062,
              0.33846,
              0.46483,
              0.71282,
              1.20571
            ],
            [
              0.18601,
              0.24174,
              0.28068,
              0.34854,
              0.47484,
              0.72298,
              1.21512
            ],
            [
              0.20143,
              0.25717,
              0.29615,
              0.36395,
              0.49031,
              0.73844,
              1.23063
            ],
            [
              0.22513,
              0.28073,
              0.31964,
              0.38734,
              0.51387,
              0.76141,
              1.25526
            ],
            [
              0.26007,
              0.31556,
              0.35437,
              0.42203,
              0.54842,
              0.79625,
              1.28935
            ],
            [
              0.30386,
              0.36104,
              0.40041,
              0.46836,
              0.59474,
              0.84219,
              1.33549
            ],
            [
              0.35637,
              0.41623,
              0.45632,
              0.52502,
              0.65202,
              0.89972,
              1.39282
            ],
            [
              0.41727,
              0.48177,
              0.52307,
              0.59257,
              0.71987,
              0.96837,
              1.46197
            ],
            [
              0.4864,
              0.5577,
              0.6011,
              0.672,
              0.7996,
              1.0484,
              1.5414
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03479,
              0.06512,
              0.08769,
              0.12702,
              0.19936,
              0.3412,
              0.63308
            ],
            [
              0.0348,
              0.06513,
              0.0877,
              0.12708,
              0.19908,
              0.3408,
              0.63316
            ],
            [
              0.0348,
              0.06518,
              0.08771,
              0.12703,
              0.19936,
              0.34119,
              0.63313
            ],
            [
              0.0348,
              0.06524,
              0.08769,
              0.12693,
              0.19943,
              0.34124,
              0.63268
            ],
            [
              0.0348,
              0.06519,
              0.08771,
              0.12707,
              0.19908,
              0.34083,
              0.63318
            ],
            [
              0.0348,
              0.06524,
              0.08771,
              0.12707,
              0.19943,
              0.34101,
              0.63294
            ],
            [
              0.03478,
              0.06524,
              0.08782,
              0.1273,
              0.19911,
              0.34092,
              0.63295
            ],
            [
              0.0348,
              0.06524,
              0.08774,
              0.12726,
              0.19915,
              0.3412,
              0.63262
            ],
            [
              0.03481,
              0.06521,
              0.08777,
              0.12724,
              0.19905,
              0.34123,
              0.633
            ],
            [
              0.03533,
              0.06564,
              0.08817,
              0.12742,
              0.19951,
              0.34085,
              0.6333
            ],
            [
              0.0397,
              0.0703,
              0.0926,
              0.1308,
              0.2015,
              0.3423,
              0.6339
            ],
            [
              0.0452,
              0.0772,
              0.1004,
              0.1395,
              0.2101,
              0.3479,
              0.6358
            ],
            [
              0.0531,
              0.0865,
              0.1105,
              0.1508,
              0.222,
              0.359,
              0.6428
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03649,
              0.08532,
              0.12818,
              0.21472,
              0.39392,
              0.75955,
              1.49605
            ],
            [
              0.03649,
              0.08532,
              0.12838,
              0.21476,
              0.3939,
              0.76088,
              1.49729
            ],
            [
              0.03648,
              0.08523,
              0.12837,
              0.21462,
              0.39416,
              0.75967,
              1.49811
            ],
            [
              0.03649,
              0.08525,
              0.12819,
              0.21459,
              0.3938,
              0.7601,
              1.49768
            ],
            [
              0.03656,
              0.08533,
              0.12815,
              0.21484,
              0.39416,
              0.76006,
              1.4968
            ],
            [
              0.03647,
              0.08524,
              0.12814,
              0.21473,
              0.39394,
              0.76034,
              1.49736
            ],
            [
              0.03643,
              0.08518,
              0.12811,
              0.21468,
              0.39393,
              0.7605,
              1.4964
            ],
            [
              0.03628,
              0.08508,
              0.12799,
              0.21449,
              0.39402,
              0.75936,
              1.49564
            ],
            [
              0.03696,
              0.0853,
              0.12807,
              0.21454,
              0.39423,
              0.75975,
              1.50102
            ],
            [
              0.03981,
              0.08787,
              0.13047,
              0.21558,
              0.39436,
              0.76247,
              1.4985
            ],
            [
              0.04448,
              0.09162,
              0.13368,
              0.21845,
              0.3959,
              0.7617,
              1.5001
            ],
            [
              0.051,
              0.0979,
              0.1384,
              0.2217,
              0.3977,
              0.7611,
              1.497
            ],
            [
              0.0592,
              0.1077,
              0.1461,
              0.2268,
              0.4009,
              0.7643,
              1.5013
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.29543,
              0.34197,
              0.37195,
              0.41825,
              0.4919,
              0.61695,
              0.84668
            ],
            [
              0.29845,
              0.34503,
              0.37501,
              0.4213,
              0.49495,
              0.62001,
              0.84972
            ],
            [
              0.30191,
              0.34846,
              0.37844,
              0.42476,
              0.49841,
              0.62341,
              0.85319
            ],
            [
              0.30696,
              0.35352,
              0.3835,
              0.42983,
              0.50348,
              0.62853,
              0.85826
            ],
            [
              0.31455,
              0.36108,
              0.39107,
              0.43739,
              0.51106,
              0.63612,
              0.86585
            ],
            [
              0.32585,
              0.37239,
              0.40238,
              0.44869,
              0.52237,
              0.64744,
              0.87715
            ],
            [
              0.34225,
              0.38877,
              0.41874,
              0.46504,
              0.53871,
              0.66379,
              0.89353
            ],
            [
              0.36569,
              0.4122,
              0.44214,
              0.48844,
              0.56211,
              0.68717,
              0.91686
            ],
            [
              0.39956,
              0.44605,
              0.47597,
              0.52226,
              0.59596,
              0.72106,
              0.95075
            ],
            [
              0.44931,
              0.49577,
              0.52568,
              0.572,
              0.64569,
              0.77089,
              1.00069
            ],
            [
              0.51792,
              0.56632,
              0.59682,
              0.64372,
              0.71782,
              0.84312,
              1.07292
            ],
            [
              0.60177,
              0.65367,
              0.68637,
              0.73607,
              0.81327,
              0.94077,
              1.17147
            ],
            [
              0.7029,
              0.7596,
              0.795,
              0.8481,
              0.9296,
              1.0615,
              1.2952
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.16814,
              0.23053,
              0.27173,
              0.34156,
              0.46915,
              0.71699,
              1.21097
            ],
            [
              0.17035,
              0.23274,
              0.27394,
              0.34379,
              0.47137,
              0.71927,
              1.21314
            ],
            [
              0.17313,
              0.23553,
              0.27675,
              0.34663,
              0.47401,
              0.72233,
              1.21522
            ],
            [
              0.17741,
              0.2398,
              0.28102,
              0.3509,
              0.47843,
              0.72654,
              1.21928
            ],
            [
              0.18398,
              0.24637,
              0.28759,
              0.35748,
              0.48498,
              0.73316,
              1.22571
            ],
            [
              0.19407,
              0.25647,
              0.29772,
              0.3676,
              0.49508,
              0.74329,
              1.23712
            ],
            [
              0.20952,
              0.27194,
              0.31317,
              0.38302,
              0.51058,
              0.75887,
              1.25223
            ],
            [
              0.23315,
              0.29547,
              0.33662,
              0.40644,
              0.53404,
              0.78222,
              1.27586
            ],
            [
              0.26831,
              0.33043,
              0.3715,
              0.44127,
              0.5687,
              0.81695,
              1.30985
            ],
            [
              0.31336,
              0.37777,
              0.41934,
              0.48931,
              0.61674,
              0.86489,
              1.35829
            ],
            [
              0.36737,
              0.43574,
              0.47842,
              0.54952,
              0.67762,
              0.92582,
              1.41822
            ],
            [
              0.43027,
              0.50497,
              0.54937,
              0.62157,
              0.75067,
              0.99907,
              1.49267
            ],
            [
              0.5024,
              0.5854,
              0.6327,
              0.707,
              0.8368,
              1.0859,
              1.5786
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.0368,
              0.06746,
              0.09018,
              0.1296,
              0.2023,
              0.34383,
              0.63562
            ],
            [
              0.03678,
              0.06745,
              0.09014,
              0.12957,
              0.20223,
              0.34385,
              0.63584
            ],
            [
              0.03679,
              0.06756,
              0.09026,
              0.12962,
              0.20205,
              0.34368,
              0.63546
            ],
            [
              0.0368,
              0.06746,
              0.09017,
              0.1296,
              0.2023,
              0.34384,
              0.63564
            ],
            [
              0.0368,
              0.06746,
              0.09017,
              0.12962,
              0.20234,
              0.34385,
              0.63569
            ],
            [
              0.0368,
              0.06745,
              0.09016,
              0.12976,
              0.20218,
              0.3439,
              0.63597
            ],
            [
              0.03679,
              0.06746,
              0.09013,
              0.12959,
              0.20227,
              0.34389,
              0.63594
            ],
            [
              0.03679,
              0.06749,
              0.09026,
              0.12972,
              0.2019,
              0.34403,
              0.63603
            ],
            [
              0.0368,
              0.06756,
              0.09022,
              0.12975,
              0.20229,
              0.34393,
              0.63603
            ],
            [
              0.0369,
              0.06761,
              0.09029,
              0.12975,
              0.20191,
              0.34396,
              0.6359
            ],
            [
              0.0403,
              0.0708,
              0.093,
              0.1319,
              0.2034,
              0.3446,
              0.6362
            ],
            [
              0.0457,
              0.0775,
              0.1007,
              0.1397,
              0.2106,
              0.3491,
              0.6375
            ],
            [
              0.0533,
              0.0866,
              0.1103,
              0.1507,
              0.2217,
              0.3595,
              0.6437
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.04369,
              0.09172,
              0.13396,
              0.2195,
              0.39618,
              0.76049,
              1.4976
            ],
            [
              0.0437,
              0.09171,
              0.13396,
              0.2194,
              0.39622,
              0.76053,
              1.49755
            ],
            [
              0.04366,
              0.09187,
              0.13412,
              0.21921,
              0.39601,
              0.76232,
              1.49625
            ],
            [
              0.04369,
              0.09177,
              0.13408,
              0.21932,
              0.39571,
              0.76056,
              1.50213
            ],
            [
              0.04368,
              0.09175,
              0.13408,
              0.2193,
              0.3958,
              0.7611,
              1.50158
            ],
            [
              0.04367,
              0.09181,
              0.13431,
              0.21927,
              0.39622,
              0.76048,
              1.49804
            ],
            [
              0.04363,
              0.09178,
              0.13398,
              0.21929,
              0.39568,
              0.76063,
              1.49691
            ],
            [
              0.04358,
              0.09162,
              0.13388,
              0.2197,
              0.39583,
              0.76079,
              1.49709
            ],
            [
              0.04405,
              0.0919,
              0.13397,
              0.2193,
              0.39589,
              0.7604,
              1.49561
            ],
            [
              0.04796,
              0.09489,
              0.13611,
              0.22031,
              0.39613,
              0.76086,
              1.4959
            ],
            [
              0.05397,
              0.10011,
              0.14056,
              0.2238,
              0.3975,
              0.7607,
              1.4965
            ],
            [
              0.0621,
              0.1082,
              0.1467,
              0.2283,
              0.4012,
              0.7624,
              1.4976
            ],
            [
              0.0723,
              0.1207,
              0.1571,
              0.2347,
              0.4049,
              0.7637,
              1.4996
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.25627,
              0.30047,
              0.32946,
              0.37466,
              0.44728,
              0.57148,
              0.80044
            ],
            [
              0.25903,
              0.30323,
              0.33224,
              0.37745,
              0.45006,
              0.57426,
              0.80327
            ],
            [
              0.2624,
              0.30661,
              0.33562,
              0.38084,
              0.45345,
              0.57759,
              0.80676
            ],
            [
              0.2675,
              0.31173,
              0.34073,
              0.38594,
              0.45855,
              0.58269,
              0.8119
            ],
            [
              0.27532,
              0.31953,
              0.34854,
              0.39377,
              0.46639,
              0.59056,
              0.81967
            ],
            [
              0.28713,
              0.33134,
              0.36033,
              0.40555,
              0.47817,
              0.60236,
              0.83143
            ],
            [
              0.30449,
              0.34867,
              0.37768,
              0.42288,
              0.49551,
              0.61972,
              0.8487
            ],
            [
              0.32983,
              0.374,
              0.40297,
              0.4482,
              0.52082,
              0.64493,
              0.87416
            ],
            [
              0.36713,
              0.41125,
              0.44021,
              0.48543,
              0.55808,
              0.68224,
              0.91145
            ],
            [
              0.42228,
              0.46639,
              0.49534,
              0.54061,
              0.61335,
              0.73759,
              0.96689
            ],
            [
              0.49602,
              0.54282,
              0.57282,
              0.61912,
              0.69252,
              0.81722,
              1.04662
            ],
            [
              0.58547,
              0.63657,
              0.66907,
              0.71857,
              0.79567,
              0.92297,
              1.15337
            ],
            [
              0.6911,
              0.7481,
              0.7838,
              0.8376,
              0.9197,
              1.0521,
              1.2856
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.18882,
              0.24454,
              0.28341,
              0.35107,
              0.47724,
              0.7245,
              1.21777
            ],
            [
              0.19141,
              0.24714,
              0.28601,
              0.35369,
              0.47984,
              0.72708,
              1.22064
            ],
            [
              0.1945,
              0.25022,
              0.2891,
              0.35677,
              0.48295,
              0.73021,
              1.22372
            ],
            [
              0.19889,
              0.25462,
              0.2935,
              0.36118,
              0.48735,
              0.73457,
              1.22828
            ],
            [
              0.2052,
              0.26092,
              0.29983,
              0.36744,
              0.49368,
              0.74104,
              1.23421
            ],
            [
              0.21443,
              0.27015,
              0.30907,
              0.37675,
              0.50271,
              0.75055,
              1.24412
            ],
            [
              0.22817,
              0.2839,
              0.32278,
              0.39039,
              0.5167,
              0.76394,
              1.25723
            ],
            [
              0.24883,
              0.30454,
              0.34346,
              0.41112,
              0.5373,
              0.7854,
              1.27856
            ],
            [
              0.27968,
              0.33527,
              0.37418,
              0.44175,
              0.5679,
              0.81595,
              1.30935
            ],
            [
              0.3209,
              0.37829,
              0.4176,
              0.48541,
              0.61164,
              0.85969,
              1.35229
            ],
            [
              0.37289,
              0.43286,
              0.47312,
              0.54192,
              0.66862,
              0.91642,
              1.40992
            ],
            [
              0.43627,
              0.49997,
              0.54147,
              0.61137,
              0.73897,
              0.98697,
              1.48067
            ],
            [
              0.5107,
              0.5797,
              0.6232,
              0.6946,
              0.8226,
              1.0717,
              1.5641
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.0321,
              0.06273,
              0.08569,
              0.12541,
              0.19822,
              0.34019,
              0.63289
            ],
            [
              0.03209,
              0.06271,
              0.08555,
              0.12535,
              0.19783,
              0.34035,
              0.63222
            ],
            [
              0.03208,
              0.06273,
              0.08552,
              0.12538,
              0.19782,
              0.34049,
              0.63223
            ],
            [
              0.03209,
              0.0627,
              0.08569,
              0.12526,
              0.1982,
              0.3403,
              0.63286
            ],
            [
              0.0321,
              0.06273,
              0.08552,
              0.12553,
              0.1978,
              0.34047,
              0.63208
            ],
            [
              0.0321,
              0.06273,
              0.08569,
              0.12535,
              0.19822,
              0.34016,
              0.63296
            ],
            [
              0.03215,
              0.06273,
              0.0857,
              0.12555,
              0.19822,
              0.34019,
              0.6329
            ],
            [
              0.0321,
              0.06272,
              0.08571,
              0.12534,
              0.19803,
              0.34046,
              0.63256
            ],
            [
              0.03216,
              0.06277,
              0.0856,
              0.12534,
              0.19807,
              0.34038,
              0.63275
            ],
            [
              0.03246,
              0.06304,
              0.08584,
              0.1257,
              0.19847,
              0.34051,
              0.6328
            ],
            [
              0.0367,
              0.0673,
              0.0897,
              0.1287,
              0.2002,
              0.3415,
              0.6326
            ],
            [
              0.0427,
              0.075,
              0.0983,
              0.1379,
              0.2085,
              0.3467,
              0.6347
            ],
            [
              0.0516,
              0.086,
              0.1102,
              0.1506,
              0.2216,
              0.3585,
              0.641
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03698,
              0.08561,
              0.12856,
              0.21474,
              0.39406,
              0.76029,
              1.49665
            ],
            [
              0.03697,
              0.08562,
              0.12849,
              0.21479,
              0.39398,
              0.76015,
              1.49594
            ],
            [
              0.037,
              0.08561,
              0.12853,
              0.21475,
              0.39404,
              0.76013,
              1.49602
            ],
            [
              0.03694,
              0.08562,
              0.12845,
              0.2148,
              0.39396,
              0.76006,
              1.49599
            ],
            [
              0.037,
              0.08561,
              0.12861,
              0.2147,
              0.39437,
              0.75937,
              1.49693
            ],
            [
              0.03696,
              0.08557,
              0.12832,
              0.21499,
              0.39392,
              0.76078,
              1.49767
            ],
            [
              0.03705,
              0.08554,
              0.12838,
              0.21469,
              0.39427,
              0.75972,
              1.49696
            ],
            [
              0.03692,
              0.0855,
              0.12825,
              0.21496,
              0.39397,
              0.7618,
              1.49677
            ],
            [
              0.03722,
              0.08575,
              0.12843,
              0.21471,
              0.39399,
              0.76024,
              1.49719
            ],
            [
              0.03959,
              0.08772,
              0.12993,
              0.21549,
              0.39426,
              0.75935,
              1.4994
            ],
            [
              0.04276,
              0.09125,
              0.133,
              0.2178,
              0.3954,
              0.7623,
              1.4963
            ],
            [
              0.0474,
              0.0964,
              0.1377,
              0.2219,
              0.398,
              0.7613,
              1.4958
            ],
            [
              0.0541,
              0.1041,
              0.1443,
              0.2262,
              0.4007,
              0.7629,
              1.5004
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.30753,
              0.35486,
              0.38526,
              0.43215,
              0.50653,
              0.6323,
              0.86251
            ],
            [
              0.31019,
              0.35754,
              0.38794,
              0.43484,
              0.5092,
              0.6349,
              0.86513
            ],
            [
              0.31344,
              0.36082,
              0.3912,
              0.43811,
              0.51249,
              0.63821,
              0.86848
            ],
            [
              0.3184,
              0.36579,
              0.3962,
              0.44309,
              0.51746,
              0.64321,
              0.87345
            ],
            [
              0.32603,
              0.37338,
              0.40379,
              0.4507,
              0.5251,
              0.65084,
              0.8811
            ],
            [
              0.33752,
              0.38488,
              0.41528,
              0.46219,
              0.53657,
              0.66228,
              0.89252
            ],
            [
              0.35416,
              0.4015,
              0.43188,
              0.47879,
              0.55319,
              0.67888,
              0.90913
            ],
            [
              0.37782,
              0.42515,
              0.45554,
              0.50243,
              0.57683,
              0.70263,
              0.93256
            ],
            [
              0.41177,
              0.4591,
              0.48945,
              0.53635,
              0.61075,
              0.73646,
              0.96655
            ],
            [
              0.46123,
              0.50853,
              0.53888,
              0.58578,
              0.66019,
              0.78609,
              1.01629
            ],
            [
              0.52992,
              0.57862,
              0.60952,
              0.65682,
              0.73162,
              0.85762,
              1.08782
            ],
            [
              0.61417,
              0.66637,
              0.69917,
              0.74917,
              0.82667,
              0.95467,
              1.18557
            ],
            [
              0.7163,
              0.7731,
              0.8085,
              0.8617,
              0.9434,
              1.0756,
              1.3095
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.17236,
              0.22809,
              0.26701,
              0.33474,
              0.46085,
              0.70868,
              1.20077
            ],
            [
              0.17489,
              0.23061,
              0.26954,
              0.33728,
              0.46341,
              0.71123,
              1.20344
            ],
            [
              0.1779,
              0.23362,
              0.27262,
              0.34027,
              0.46651,
              0.71374,
              1.20772
            ],
            [
              0.18222,
              0.23794,
              0.27692,
              0.34464,
              0.47085,
              0.71805,
              1.21178
            ],
            [
              0.18846,
              0.24419,
              0.28316,
              0.35086,
              0.47713,
              0.72437,
              1.21831
            ],
            [
              0.19765,
              0.25337,
              0.29239,
              0.36,
              0.48631,
              0.73373,
              1.22752
            ],
            [
              0.21141,
              0.2671,
              0.30603,
              0.37379,
              0.5,
              0.74788,
              1.24013
            ],
            [
              0.23217,
              0.28777,
              0.32671,
              0.39438,
              0.52055,
              0.76845,
              1.26196
            ],
            [
              0.26246,
              0.3182,
              0.35705,
              0.42477,
              0.55104,
              0.79845,
              1.29215
            ],
            [
              0.30171,
              0.35954,
              0.39903,
              0.46705,
              0.59348,
              0.84119,
              1.33459
            ],
            [
              0.35079,
              0.41134,
              0.45182,
              0.52082,
              0.64772,
              0.89562,
              1.38842
            ],
            [
              0.40987,
              0.47437,
              0.51627,
              0.58637,
              0.71407,
              0.96207,
              1.45577
            ],
            [
              0.4783,
              0.5486,
              0.5926,
              0.6644,
              0.7928,
              1.0411,
              1.5342
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03833,
              0.06916,
              0.09196,
              0.13168,
              0.20422,
              0.34575,
              0.6371
            ],
            [
              0.03833,
              0.06915,
              0.09193,
              0.13158,
              0.20425,
              0.34563,
              0.63632
            ],
            [
              0.03831,
              0.06925,
              0.09205,
              0.13156,
              0.20403,
              0.34542,
              0.63691
            ],
            [
              0.03832,
              0.06916,
              0.09193,
              0.13155,
              0.20424,
              0.34562,
              0.63707
            ],
            [
              0.03834,
              0.06926,
              0.09199,
              0.13156,
              0.20431,
              0.34566,
              0.63688
            ],
            [
              0.03832,
              0.06918,
              0.09192,
              0.13158,
              0.20405,
              0.34561,
              0.63632
            ],
            [
              0.03833,
              0.06925,
              0.09205,
              0.13159,
              0.20398,
              0.34557,
              0.63642
            ],
            [
              0.03832,
              0.06924,
              0.09199,
              0.13168,
              0.20419,
              0.3458,
              0.63715
            ],
            [
              0.03833,
              0.06919,
              0.09209,
              0.13161,
              0.20403,
              0.34584,
              0.63683
            ],
            [
              0.03836,
              0.06924,
              0.09205,
              0.13189,
              0.20397,
              0.34579,
              0.6373
            ],
            [
              0.0415,
              0.0719,
              0.0943,
              0.1335,
              0.2049,
              0.3463,
              0.6374
            ],
            [
              0.0467,
              0.0784,
              0.1013,
              0.1409,
              0.2118,
              0.3507,
              0.639
            ],
            [
              0.054,
              0.0871,
              0.1109,
              0.1514,
              0.2225,
              0.3603,
              0.6448
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03647,
              0.08522,
              0.12818,
              0.21479,
              0.39396,
              0.7604,
              1.4961
            ],
            [
              0.03647,
              0.08531,
              0.12828,
              0.21484,
              0.394,
              0.76004,
              1.49604
            ],
            [
              0.03649,
              0.08524,
              0.12839,
              0.21463,
              0.39402,
              0.75998,
              1.50096
            ],
            [
              0.03648,
              0.08536,
              0.12812,
              0.21477,
              0.39433,
              0.75959,
              1.49589
            ],
            [
              0.03647,
              0.08539,
              0.1281,
              0.21463,
              0.39406,
              0.75994,
              1.50102
            ],
            [
              0.0365,
              0.08525,
              0.12818,
              0.21459,
              0.3937,
              0.76012,
              1.49751
            ],
            [
              0.03651,
              0.08531,
              0.1281,
              0.21483,
              0.39403,
              0.76017,
              1.49595
            ],
            [
              0.03637,
              0.08514,
              0.12813,
              0.21459,
              0.39363,
              0.76026,
              1.49694
            ],
            [
              0.03732,
              0.08546,
              0.12831,
              0.21472,
              0.394,
              0.75994,
              1.49706
            ],
            [
              0.03968,
              0.08793,
              0.13044,
              0.21562,
              0.39454,
              0.75981,
              1.4967
            ],
            [
              0.04307,
              0.09178,
              0.13362,
              0.21829,
              0.3955,
              0.7618,
              1.4998
            ],
            [
              0.048,
              0.0973,
              0.1384,
              0.2219,
              0.3978,
              0.7608,
              1.4961
            ],
            [
              0.055,
              0.1056,
              0.1459,
              0.2269,
              0.4002,
              0.7637,
              1.5008
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.32779,
              0.3758,
              0.40637,
              0.45344,
              0.52799,
              0.65395,
              0.88435
            ],
            [
              0.33055,
              0.37858,
              0.40915,
              0.45621,
              0.53077,
              0.65676,
              0.88717
            ],
            [
              0.33392,
              0.38194,
              0.41251,
              0.45959,
              0.53414,
              0.66005,
              0.89068
            ],
            [
              0.33901,
              0.38703,
              0.41759,
              0.46469,
              0.53924,
              0.66514,
              0.89572
            ],
            [
              0.34675,
              0.39477,
              0.4254,
              0.47243,
              0.547,
              0.67298,
              0.90327
            ],
            [
              0.35837,
              0.40639,
              0.43702,
              0.48405,
              0.55862,
              0.6846,
              0.9149
            ],
            [
              0.37517,
              0.42318,
              0.45375,
              0.50083,
              0.57539,
              0.70133,
              0.93173
            ],
            [
              0.39905,
              0.44707,
              0.47761,
              0.52467,
              0.59924,
              0.72519,
              0.95586
            ],
            [
              0.43336,
              0.48138,
              0.51188,
              0.55894,
              0.63353,
              0.75955,
              0.99015
            ],
            [
              0.48363,
              0.53162,
              0.56213,
              0.60917,
              0.68379,
              0.80979,
              1.04049
            ],
            [
              0.55592,
              0.60472,
              0.63552,
              0.68272,
              0.75752,
              0.88362,
              1.11412
            ],
            [
              0.64657,
              0.69897,
              0.73167,
              0.78127,
              0.85827,
              0.98587,
              1.21697
            ],
            [
              0.7572,
              0.8143,
              0.8495,
              0.9024,
              0.9835,
              1.1152,
              1.3488
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.18051,
              0.24291,
              0.2841,
              0.35391,
              0.48125,
              0.72882,
              1.22217
            ],
            [
              0.18304,
              0.24544,
              0.28666,
              0.3564,
              0.48359,
              0.73146,
              1.22514
            ],
            [
              0.18606,
              0.24846,
              0.28966,
              0.35942,
              0.48671,
              0.73476,
              1.22722
            ],
            [
              0.1904,
              0.25279,
              0.29398,
              0.36378,
              0.49117,
              0.73881,
              1.23257
            ],
            [
              0.19662,
              0.25902,
              0.30022,
              0.37,
              0.49741,
              0.74534,
              1.23761
            ],
            [
              0.20581,
              0.26821,
              0.30941,
              0.37925,
              0.50657,
              0.75454,
              1.24682
            ],
            [
              0.21955,
              0.28194,
              0.32314,
              0.39292,
              0.52015,
              0.76825,
              1.26123
            ],
            [
              0.24027,
              0.30257,
              0.34374,
              0.41354,
              0.54098,
              0.78902,
              1.28256
            ],
            [
              0.27071,
              0.33306,
              0.37419,
              0.44399,
              0.57141,
              0.81945,
              1.31175
            ],
            [
              0.31055,
              0.37535,
              0.41706,
              0.4871,
              0.61462,
              0.86259,
              1.35609
            ],
            [
              0.36053,
              0.42882,
              0.47182,
              0.54302,
              0.67122,
              0.91942,
              1.41202
            ],
            [
              0.42107,
              0.49427,
              0.53907,
              0.61177,
              0.74097,
              0.98937,
              1.48307
            ],
            [
              0.4918,
              0.572,
              0.6193,
              0.6942,
              0.8245,
              1.0735,
              1.5662
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03916,
              0.06985,
              0.09248,
              0.13221,
              0.20424,
              0.3462,
              0.63761
            ],
            [
              0.03914,
              0.06992,
              0.09249,
              0.13208,
              0.20417,
              0.34618,
              0.63787
            ],
            [
              0.03912,
              0.06986,
              0.09246,
              0.13198,
              0.20428,
              0.34605,
              0.63692
            ],
            [
              0.03912,
              0.06985,
              0.09247,
              0.1322,
              0.20425,
              0.34614,
              0.63728
            ],
            [
              0.03915,
              0.06992,
              0.09245,
              0.13213,
              0.20418,
              0.34619,
              0.63773
            ],
            [
              0.03914,
              0.06992,
              0.09246,
              0.13213,
              0.20419,
              0.3462,
              0.63772
            ],
            [
              0.03915,
              0.06991,
              0.09248,
              0.13221,
              0.20423,
              0.34619,
              0.63756
            ],
            [
              0.03915,
              0.06983,
              0.09247,
              0.13194,
              0.20432,
              0.34585,
              0.63724
            ],
            [
              0.03916,
              0.06983,
              0.09263,
              0.13191,
              0.20454,
              0.34605,
              0.63769
            ],
            [
              0.03914,
              0.06989,
              0.09267,
              0.13209,
              0.20456,
              0.3461,
              0.6375
            ],
            [
              0.0414,
              0.0714,
              0.0937,
              0.1329,
              0.2048,
              0.3464,
              0.6379
            ],
            [
              0.0465,
              0.0779,
              0.1006,
              0.1394,
              0.2103,
              0.3496,
              0.6389
            ],
            [
              0.0539,
              0.0866,
              0.1101,
              0.1499,
              0.2209,
              0.3586,
              0.6436
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.04376,
              0.09177,
              0.13409,
              0.21931,
              0.39598,
              0.75996,
              1.49644
            ],
            [
              0.04378,
              0.09175,
              0.13436,
              0.21936,
              0.39619,
              0.76057,
              1.49756
            ],
            [
              0.0437,
              0.09176,
              0.13396,
              0.21976,
              0.39627,
              0.76052,
              1.49584
            ],
            [
              0.04369,
              0.0917,
              0.13395,
              0.21935,
              0.3962,
              0.76051,
              1.49758
            ],
            [
              0.04367,
              0.09178,
              0.13395,
              0.2197,
              0.39626,
              0.76058,
              1.49623
            ],
            [
              0.04366,
              0.09167,
              0.13393,
              0.2193,
              0.39577,
              0.76096,
              1.49728
            ],
            [
              0.04363,
              0.09185,
              0.13429,
              0.21932,
              0.39613,
              0.76041,
              1.49936
            ],
            [
              0.04358,
              0.09175,
              0.13429,
              0.21927,
              0.39626,
              0.76057,
              1.499
            ],
            [
              0.04439,
              0.09213,
              0.13407,
              0.21934,
              0.39629,
              0.76034,
              1.4972
            ],
            [
              0.04737,
              0.09482,
              0.13636,
              0.22014,
              0.39682,
              0.76053,
              1.4971
            ],
            [
              0.05145,
              0.09955,
              0.14053,
              0.22316,
              0.3977,
              0.76,
              1.5014
            ],
            [
              0.0575,
              0.1062,
              0.1463,
              0.2277,
              0.4012,
              0.762,
              1.4955
            ],
            [
              0.066,
              0.1163,
              0.1549,
              0.2344,
              0.4046,
              0.7638,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.27331,
              0.31787,
              0.34681,
              0.39198,
              0.46461,
              0.58889,
              0.81844
            ],
            [
              0.27584,
              0.32042,
              0.34937,
              0.39454,
              0.46717,
              0.59144,
              0.821
            ],
            [
              0.2791,
              0.32368,
              0.35266,
              0.39781,
              0.47045,
              0.59485,
              0.8242
            ],
            [
              0.28425,
              0.32882,
              0.35781,
              0.40299,
              0.47564,
              0.60006,
              0.82924
            ],
            [
              0.29216,
              0.33674,
              0.36574,
              0.41093,
              0.48359,
              0.60799,
              0.83718
            ],
            [
              0.30412,
              0.34869,
              0.37769,
              0.4229,
              0.49557,
              0.61998,
              0.84927
            ],
            [
              0.32165,
              0.36622,
              0.39522,
              0.44042,
              0.5131,
              0.63753,
              0.86681
            ],
            [
              0.34714,
              0.39169,
              0.4207,
              0.46593,
              0.53862,
              0.66301,
              0.89246
            ],
            [
              0.38457,
              0.42908,
              0.45807,
              0.50334,
              0.57609,
              0.70055,
              0.92975
            ],
            [
              0.44006,
              0.48453,
              0.51355,
              0.55887,
              0.63169,
              0.75609,
              0.98569
            ],
            [
              0.51692,
              0.56342,
              0.59322,
              0.63912,
              0.71242,
              0.83722,
              1.06652
            ],
            [
              0.61067,
              0.66147,
              0.69367,
              0.74277,
              0.81937,
              0.94627,
              1.17667
            ],
            [
              0.7227,
              0.7791,
              0.8144,
              0.8676,
              0.949,
              1.0808,
              1.3142
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.19605,
              0.25177,
              0.29069,
              0.35831,
              0.48414,
              0.73197,
              1.22487
            ],
            [
              0.19882,
              0.25455,
              0.29348,
              0.36104,
              0.48705,
              0.73432,
              1.22664
            ],
            [
              0.20188,
              0.25761,
              0.29654,
              0.36416,
              0.49004,
              0.73785,
              1.23072
            ],
            [
              0.20619,
              0.26192,
              0.30079,
              0.36845,
              0.49443,
              0.74204,
              1.23368
            ],
            [
              0.21224,
              0.26797,
              0.30684,
              0.3745,
              0.50048,
              0.74816,
              1.24021
            ],
            [
              0.22073,
              0.27645,
              0.31532,
              0.38297,
              0.50899,
              0.75659,
              1.24842
            ],
            [
              0.23277,
              0.2885,
              0.32736,
              0.39501,
              0.52105,
              0.76875,
              1.26043
            ],
            [
              0.2503,
              0.306,
              0.34491,
              0.41253,
              0.53856,
              0.78647,
              1.27946
            ],
            [
              0.27597,
              0.33161,
              0.3705,
              0.43806,
              0.56429,
              0.81135,
              1.30495
            ],
            [
              0.30971,
              0.36717,
              0.4065,
              0.47441,
              0.60063,
              0.84789,
              1.34139
            ],
            [
              0.35233,
              0.41231,
              0.45272,
              0.52172,
              0.64832,
              0.89622,
              1.38962
            ],
            [
              0.40537,
              0.46867,
              0.51047,
              0.58067,
              0.70837,
              0.95597,
              1.44967
            ],
            [
              0.4696,
              0.5373,
              0.581,
              0.6529,
              0.7815,
              1.0303,
              1.5228
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03325,
              0.06409,
              0.08725,
              0.12706,
              0.19964,
              0.34202,
              0.63376
            ],
            [
              0.03325,
              0.06409,
              0.08725,
              0.12707,
              0.19966,
              0.34198,
              0.63386
            ],
            [
              0.03326,
              0.06416,
              0.08721,
              0.12709,
              0.19955,
              0.34185,
              0.63427
            ],
            [
              0.03324,
              0.06421,
              0.08713,
              0.12718,
              0.1999,
              0.34185,
              0.63414
            ],
            [
              0.03324,
              0.06421,
              0.08713,
              0.12721,
              0.19991,
              0.34188,
              0.63395
            ],
            [
              0.03327,
              0.0642,
              0.08719,
              0.12708,
              0.19987,
              0.34184,
              0.63423
            ],
            [
              0.03326,
              0.06417,
              0.08719,
              0.12706,
              0.19952,
              0.34184,
              0.63419
            ],
            [
              0.03325,
              0.06412,
              0.08712,
              0.12703,
              0.19966,
              0.34203,
              0.63345
            ],
            [
              0.03322,
              0.06424,
              0.08722,
              0.12707,
              0.19984,
              0.34181,
              0.63409
            ],
            [
              0.03337,
              0.06423,
              0.08719,
              0.1269,
              0.19985,
              0.34182,
              0.6342
            ],
            [
              0.0369,
              0.0675,
              0.0899,
              0.129,
              0.2008,
              0.3425,
              0.6341
            ],
            [
              0.0428,
              0.075,
              0.0982,
              0.1374,
              0.2085,
              0.3473,
              0.6353
            ],
            [
              0.0513,
              0.0853,
              0.1093,
              0.1496,
              0.2209,
              0.3579,
              0.6421
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03697,
              0.08554,
              0.12831,
              0.215,
              0.39405,
              0.76126,
              1.49708
            ],
            [
              0.03697,
              0.08554,
              0.12841,
              0.21474,
              0.39435,
              0.75977,
              1.49749
            ],
            [
              0.03697,
              0.08553,
              0.12832,
              0.215,
              0.39406,
              0.76174,
              1.49696
            ],
            [
              0.03697,
              0.08555,
              0.12837,
              0.2148,
              0.39417,
              0.76027,
              1.49738
            ],
            [
              0.03697,
              0.08556,
              0.12841,
              0.21484,
              0.39414,
              0.76022,
              1.49656
            ],
            [
              0.03695,
              0.08555,
              0.12839,
              0.21478,
              0.39421,
              0.76022,
              1.49775
            ],
            [
              0.03698,
              0.08555,
              0.12838,
              0.21478,
              0.39418,
              0.76033,
              1.49729
            ],
            [
              0.03693,
              0.0855,
              0.12833,
              0.21499,
              0.39403,
              0.76113,
              1.4972
            ],
            [
              0.03729,
              0.08567,
              0.12838,
              0.21474,
              0.394,
              0.76251,
              1.49768
            ],
            [
              0.03937,
              0.08766,
              0.12977,
              0.21566,
              0.3941,
              0.75948,
              1.4967
            ],
            [
              0.04204,
              0.09113,
              0.13332,
              0.21805,
              0.3954,
              0.7609,
              1.4971
            ],
            [
              0.0455,
              0.0958,
              0.1375,
              0.2216,
              0.3978,
              0.7607,
              1.4955
            ],
            [
              0.0506,
              0.1022,
              0.1438,
              0.227,
              0.4004,
              0.7633,
              1.4998
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.33143,
              0.37943,
              0.40997,
              0.45689,
              0.53138,
              0.65735,
              0.88802
            ],
            [
              0.33381,
              0.38183,
              0.41237,
              0.45929,
              0.53379,
              0.65976,
              0.89039
            ],
            [
              0.33695,
              0.38498,
              0.41553,
              0.46245,
              0.53695,
              0.66292,
              0.89345
            ],
            [
              0.34194,
              0.38999,
              0.42056,
              0.46747,
              0.54197,
              0.66795,
              0.89848
            ],
            [
              0.3497,
              0.39773,
              0.42825,
              0.47524,
              0.54977,
              0.67578,
              0.90649
            ],
            [
              0.36138,
              0.4094,
              0.43992,
              0.48693,
              0.56147,
              0.6875,
              0.9182
            ],
            [
              0.37822,
              0.42624,
              0.45674,
              0.50375,
              0.57831,
              0.70434,
              0.93503
            ],
            [
              0.40206,
              0.45004,
              0.48058,
              0.52757,
              0.60214,
              0.72818,
              0.95866
            ],
            [
              0.43611,
              0.48407,
              0.51459,
              0.56162,
              0.63622,
              0.76225,
              0.99295
            ],
            [
              0.48562,
              0.53355,
              0.56406,
              0.61114,
              0.68579,
              0.81199,
              1.04259
            ],
            [
              0.55652,
              0.60522,
              0.63602,
              0.68322,
              0.75812,
              0.88442,
              1.11512
            ],
            [
              0.64447,
              0.69677,
              0.72947,
              0.77917,
              0.85637,
              0.98417,
              1.21537
            ],
            [
              0.7521,
              0.8087,
              0.8438,
              0.8967,
              0.9779,
              1.1099,
              1.3437
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.17959,
              0.23532,
              0.27423,
              0.34193,
              0.46789,
              0.71547,
              1.20747
            ],
            [
              0.18229,
              0.23802,
              0.27696,
              0.34465,
              0.47063,
              0.718,
              1.21044
            ],
            [
              0.18529,
              0.24102,
              0.27994,
              0.34755,
              0.47364,
              0.72089,
              1.21442
            ],
            [
              0.18952,
              0.24526,
              0.2842,
              0.3519,
              0.47791,
              0.7251,
              1.21808
            ],
            [
              0.19551,
              0.25123,
              0.29017,
              0.35788,
              0.48392,
              0.73102,
              1.22471
            ],
            [
              0.20395,
              0.25967,
              0.2986,
              0.36623,
              0.49236,
              0.73969,
              1.23312
            ],
            [
              0.21601,
              0.27172,
              0.31063,
              0.37832,
              0.50426,
              0.75202,
              1.24403
            ],
            [
              0.23363,
              0.28925,
              0.3282,
              0.39576,
              0.52188,
              0.76962,
              1.26256
            ],
            [
              0.25886,
              0.31466,
              0.35354,
              0.42119,
              0.54741,
              0.79515,
              1.28825
            ],
            [
              0.29107,
              0.34895,
              0.38847,
              0.45655,
              0.58292,
              0.83029,
              1.32369
            ],
            [
              0.33168,
              0.39217,
              0.43282,
              0.50202,
              0.62882,
              0.87642,
              1.37022
            ],
            [
              0.38187,
              0.44577,
              0.48787,
              0.55837,
              0.68597,
              0.93407,
              1.42737
            ],
            [
              0.4416,
              0.5102,
              0.5543,
              0.6267,
              0.7555,
              1.0039,
              1.4969
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03991,
              0.07094,
              0.09372,
              0.13356,
              0.20607,
              0.34752,
              0.63804
            ],
            [
              0.03991,
              0.07092,
              0.09379,
              0.13355,
              0.20606,
              0.34757,
              0.6382
            ],
            [
              0.03992,
              0.07092,
              0.09375,
              0.13356,
              0.20607,
              0.34766,
              0.6386
            ],
            [
              0.03992,
              0.07087,
              0.09376,
              0.13354,
              0.20607,
              0.34765,
              0.63863
            ],
            [
              0.03995,
              0.07094,
              0.09392,
              0.1335,
              0.20606,
              0.34747,
              0.63855
            ],
            [
              0.03992,
              0.07098,
              0.09382,
              0.13355,
              0.20603,
              0.3477,
              0.63874
            ],
            [
              0.03995,
              0.07091,
              0.09389,
              0.13352,
              0.20632,
              0.34748,
              0.63832
            ],
            [
              0.03991,
              0.07091,
              0.09383,
              0.13357,
              0.20602,
              0.34773,
              0.63887
            ],
            [
              0.03991,
              0.07091,
              0.09382,
              0.13355,
              0.20601,
              0.34745,
              0.63827
            ],
            [
              0.03992,
              0.07104,
              0.09385,
              0.13384,
              0.2059,
              0.3476,
              0.639
            ],
            [
              0.0423,
              0.0726,
              0.0951,
              0.1343,
              0.2064,
              0.3479,
              0.6391
            ],
            [
              0.0473,
              0.0789,
              0.1019,
              0.141,
              0.212,
              0.3512,
              0.64
            ],
            [
              0.0543,
              0.0873,
              0.111,
              0.151,
              0.2226,
              0.3603,
              0.6454
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03651,
              0.08532,
              0.12833,
              0.21483,
              0.39399,
              0.76013,
              1.49723
            ],
            [
              0.03651,
              0.08524,
              0.12813,
              0.21488,
              0.39418,
              0.7598,
              1.49709
            ],
            [
              0.03649,
              0.08525,
              0.12822,
              0.21461,
              0.39351,
              0.76174,
              1.4974
            ],
            [
              0.03649,
              0.08535,
              0.12828,
              0.21485,
              0.39428,
              0.75935,
              1.49658
            ],
            [
              0.03649,
              0.08533,
              0.12801,
              0.21488,
              0.39362,
              0.76005,
              1.49968
            ],
            [
              0.03649,
              0.08528,
              0.12821,
              0.2146,
              0.39348,
              0.76147,
              1.49731
            ],
            [
              0.03645,
              0.0853,
              0.12817,
              0.21475,
              0.39392,
              0.75919,
              1.49645
            ],
            [
              0.03636,
              0.08517,
              0.12832,
              0.21456,
              0.39361,
              0.75966,
              1.49617
            ],
            [
              0.03727,
              0.08553,
              0.12834,
              0.21462,
              0.39335,
              0.75996,
              1.49825
            ],
            [
              0.03941,
              0.088,
              0.13012,
              0.21574,
              0.39445,
              0.76163,
              1.4964
            ],
            [
              0.04206,
              0.09146,
              0.1335,
              0.21843,
              0.3956,
              0.7605,
              1.4983
            ],
            [
              0.0458,
              0.0963,
              0.1381,
              0.2222,
              0.3976,
              0.7609,
              1.4958
            ],
            [
              0.0511,
              0.1032,
              0.1446,
              0.2271,
              0.4009,
              0.7622,
              1.4997
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.3501,
              0.39875,
              0.42937,
              0.47643,
              0.55103,
              0.67717,
              0.90818
            ],
            [
              0.35255,
              0.40117,
              0.43183,
              0.4789,
              0.5535,
              0.67964,
              0.91065
            ],
            [
              0.35577,
              0.40441,
              0.43508,
              0.48214,
              0.55674,
              0.68286,
              0.9137
            ],
            [
              0.36085,
              0.40949,
              0.44017,
              0.48723,
              0.56185,
              0.688,
              0.9188
            ],
            [
              0.36871,
              0.41739,
              0.44802,
              0.49511,
              0.56974,
              0.69592,
              0.92695
            ],
            [
              0.38049,
              0.42916,
              0.4598,
              0.5069,
              0.58154,
              0.70773,
              0.93872
            ],
            [
              0.39748,
              0.44611,
              0.47678,
              0.52389,
              0.59852,
              0.72469,
              0.95573
            ],
            [
              0.42154,
              0.47016,
              0.50083,
              0.54795,
              0.62262,
              0.74886,
              0.97986
            ],
            [
              0.456,
              0.5046,
              0.53525,
              0.58239,
              0.6571,
              0.78325,
              1.01405
            ],
            [
              0.50633,
              0.55491,
              0.58557,
              0.63269,
              0.70749,
              0.83379,
              1.06479
            ],
            [
              0.58002,
              0.62892,
              0.65962,
              0.70692,
              0.78182,
              0.90822,
              1.13902
            ],
            [
              0.67407,
              0.72657,
              0.75907,
              0.80847,
              0.88517,
              1.01267,
              1.24387
            ],
            [
              0.7894,
              0.8465,
              0.8815,
              0.9341,
              1.0148,
              1.1462,
              1.3798
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.18773,
              0.25014,
              0.29133,
              0.36109,
              0.48827,
              0.73588,
              1.22797
            ],
            [
              0.19044,
              0.25284,
              0.29406,
              0.36379,
              0.49098,
              0.73852,
              1.23144
            ],
            [
              0.19344,
              0.25585,
              0.29704,
              0.36678,
              0.4938,
              0.74139,
              1.23492
            ],
            [
              0.19768,
              0.26009,
              0.3013,
              0.37105,
              0.49828,
              0.74589,
              1.23877
            ],
            [
              0.20368,
              0.26607,
              0.30726,
              0.377,
              0.50426,
              0.75178,
              1.24441
            ],
            [
              0.21211,
              0.27452,
              0.3157,
              0.38546,
              0.5127,
              0.76036,
              1.25262
            ],
            [
              0.22416,
              0.28655,
              0.32772,
              0.39747,
              0.52476,
              0.77242,
              1.26493
            ],
            [
              0.24174,
              0.30405,
              0.34519,
              0.41493,
              0.54229,
              0.78985,
              1.28346
            ],
            [
              0.2671,
              0.32952,
              0.37066,
              0.44041,
              0.56764,
              0.81575,
              1.30855
            ],
            [
              0.29977,
              0.36454,
              0.40631,
              0.47639,
              0.60386,
              0.85159,
              1.34379
            ],
            [
              0.34098,
              0.40892,
              0.45202,
              0.52342,
              0.65152,
              0.89922,
              1.39302
            ],
            [
              0.39207,
              0.46417,
              0.50887,
              0.58187,
              0.71137,
              0.95937,
              1.45297
            ],
            [
              0.4534,
              0.531,
              0.5781,
              0.6533,
              0.7842,
              1.0332,
              1.5258
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.0407,
              0.07152,
              0.09432,
              0.13381,
              0.20655,
              0.34766,
              0.63884
            ],
            [
              0.04071,
              0.0716,
              0.09425,
              0.13376,
              0.20652,
              0.34774,
              0.63874
            ],
            [
              0.04072,
              0.07157,
              0.09427,
              0.13384,
              0.20628,
              0.34796,
              0.63917
            ],
            [
              0.04074,
              0.07157,
              0.09429,
              0.13388,
              0.20624,
              0.348,
              0.63949
            ],
            [
              0.04074,
              0.07152,
              0.09437,
              0.13384,
              0.20663,
              0.34791,
              0.63913
            ],
            [
              0.04073,
              0.07152,
              0.09435,
              0.13386,
              0.2066,
              0.3479,
              0.63914
            ],
            [
              0.04071,
              0.07156,
              0.09425,
              0.13378,
              0.2065,
              0.3478,
              0.63866
            ],
            [
              0.04073,
              0.07158,
              0.09442,
              0.134,
              0.2064,
              0.34794,
              0.63933
            ],
            [
              0.04073,
              0.07157,
              0.09425,
              0.13381,
              0.20615,
              0.34789,
              0.63927
            ],
            [
              0.04072,
              0.07158,
              0.09431,
              0.13404,
              0.20639,
              0.3479,
              0.6393
            ],
            [
              0.0421,
              0.0723,
              0.0948,
              0.1344,
              0.2063,
              0.3481,
              0.6392
            ],
            [
              0.0474,
              0.0785,
              0.101,
              0.1399,
              0.2109,
              0.3505,
              0.6404
            ],
            [
              0.0543,
              0.0869,
              0.1101,
              0.15,
              0.2214,
              0.359,
              0.6448
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.04367,
              0.09175,
              0.1341,
              0.21932,
              0.39617,
              0.76048,
              1.49632
            ],
            [
              0.04366,
              0.09184,
              0.13429,
              0.21934,
              0.39617,
              0.76032,
              1.50141
            ],
            [
              0.04373,
              0.09167,
              0.13397,
              0.21936,
              0.39614,
              0.76057,
              1.49754
            ],
            [
              0.0437,
              0.09183,
              0.1343,
              0.21934,
              0.39588,
              0.76047,
              1.49631
            ],
            [
              0.04369,
              0.09168,
              0.13396,
              0.21971,
              0.39636,
              0.76058,
              1.49643
            ],
            [
              0.04365,
              0.09171,
              0.13396,
              0.21935,
              0.396,
              0.7618,
              1.50185
            ],
            [
              0.04367,
              0.0917,
              0.13397,
              0.21937,
              0.39618,
              0.76053,
              1.50275
            ],
            [
              0.04369,
              0.09175,
              0.13396,
              0.21938,
              0.39626,
              0.76057,
              1.49759
            ],
            [
              0.04444,
              0.09201,
              0.13411,
              0.21943,
              0.39607,
              0.75968,
              1.4959
            ],
            [
              0.047,
              0.09463,
              0.13613,
              0.22052,
              0.39653,
              0.76072,
              1.5016
            ],
            [
              0.05028,
              0.09895,
              0.14042,
              0.22332,
              0.3981,
              0.761,
              1.4971
            ],
            [
              0.0547,
              0.1046,
              0.1456,
              0.2275,
              0.4009,
              0.7614,
              1.4964
            ],
            [
              0.061,
              0.1125,
              0.1531,
              0.2338,
              0.405,
              0.7645,
              1.4999
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.15452,
              0.19176,
              0.21611,
              0.25472,
              0.31904,
              0.43542,
              0.66006
            ],
            [
              0.15685,
              0.19409,
              0.21847,
              0.25709,
              0.32146,
              0.43778,
              0.66243
            ],
            [
              0.15962,
              0.19689,
              0.22126,
              0.25989,
              0.32433,
              0.4405,
              0.66511
            ],
            [
              0.16398,
              0.20122,
              0.22557,
              0.26419,
              0.32867,
              0.4449,
              0.66953
            ],
            [
              0.17082,
              0.20803,
              0.2324,
              0.27102,
              0.33543,
              0.45174,
              0.67638
            ],
            [
              0.18163,
              0.21878,
              0.24313,
              0.28176,
              0.34623,
              0.46241,
              0.68694
            ],
            [
              0.19845,
              0.23552,
              0.25985,
              0.29851,
              0.36306,
              0.4793,
              0.7038
            ],
            [
              0.22459,
              0.26154,
              0.28585,
              0.32453,
              0.38911,
              0.50557,
              0.73028
            ],
            [
              0.26422,
              0.30104,
              0.32537,
              0.36412,
              0.42881,
              0.54533,
              0.76975
            ],
            [
              0.31529,
              0.35476,
              0.38009,
              0.41966,
              0.48481,
              0.60151,
              0.82629
            ],
            [
              0.37559,
              0.41918,
              0.44632,
              0.48812,
              0.55572,
              0.67362,
              0.89862
            ],
            [
              0.44577,
              0.49477,
              0.52457,
              0.56927,
              0.63947,
              0.76007,
              0.98627
            ],
            [
              0.5271,
              0.5825,
              0.6158,
              0.6646,
              0.7388,
              0.8619,
              1.0898
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10377,
              0.15016,
              0.18509,
              0.24903,
              0.37277,
              0.61856,
              1.10827
            ],
            [
              0.10637,
              0.15274,
              0.18769,
              0.25166,
              0.37536,
              0.62074,
              1.11174
            ],
            [
              0.1095,
              0.15586,
              0.19083,
              0.25468,
              0.37831,
              0.62426,
              1.11392
            ],
            [
              0.11427,
              0.16064,
              0.19559,
              0.25942,
              0.3831,
              0.62901,
              1.11938
            ],
            [
              0.12145,
              0.1678,
              0.20273,
              0.26659,
              0.39031,
              0.63627,
              1.12591
            ],
            [
              0.13232,
              0.1786,
              0.21348,
              0.27742,
              0.40116,
              0.64648,
              1.13662
            ],
            [
              0.14881,
              0.19485,
              0.22965,
              0.29348,
              0.41718,
              0.66348,
              1.15333
            ],
            [
              0.17181,
              0.21815,
              0.25295,
              0.31682,
              0.44046,
              0.68681,
              1.17636
            ],
            [
              0.19964,
              0.24797,
              0.28326,
              0.34727,
              0.47139,
              0.71687,
              1.20805
            ],
            [
              0.23279,
              0.28383,
              0.31989,
              0.38457,
              0.50854,
              0.75459,
              1.24539
            ],
            [
              0.27126,
              0.32651,
              0.36361,
              0.42885,
              0.55332,
              0.79942,
              1.29072
            ],
            [
              0.31507,
              0.37647,
              0.41517,
              0.48147,
              0.60587,
              0.85227,
              1.34257
            ],
            [
              0.3639,
              0.4334,
              0.475,
              0.5431,
              0.6678,
              0.9146,
              1.4047
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02543,
              0.05179,
              0.07213,
              0.10911,
              0.18006,
              0.32438,
              0.62409
            ],
            [
              0.02541,
              0.05181,
              0.07213,
              0.1091,
              0.1801,
              0.32447,
              0.62407
            ],
            [
              0.02541,
              0.0518,
              0.07208,
              0.10897,
              0.18006,
              0.32489,
              0.62358
            ],
            [
              0.02541,
              0.05179,
              0.07214,
              0.10899,
              0.18011,
              0.32481,
              0.62391
            ],
            [
              0.02541,
              0.05181,
              0.07212,
              0.1091,
              0.18003,
              0.32458,
              0.62402
            ],
            [
              0.02541,
              0.0519,
              0.07224,
              0.10903,
              0.18009,
              0.32484,
              0.62309
            ],
            [
              0.02541,
              0.05184,
              0.07217,
              0.10923,
              0.1801,
              0.32482,
              0.62328
            ],
            [
              0.02541,
              0.052,
              0.07224,
              0.1091,
              0.18007,
              0.32475,
              0.62393
            ],
            [
              0.02611,
              0.05237,
              0.07265,
              0.10933,
              0.1802,
              0.32443,
              0.62315
            ],
            [
              0.03081,
              0.0566,
              0.07619,
              0.11205,
              0.18148,
              0.32545,
              0.62446
            ],
            [
              0.03737,
              0.06369,
              0.08321,
              0.11888,
              0.1871,
              0.3285,
              0.6249
            ],
            [
              0.0459,
              0.0735,
              0.093,
              0.128,
              0.1955,
              0.3345,
              0.627
            ],
            [
              0.0565,
              0.0864,
              0.1065,
              0.1411,
              0.2066,
              0.3426,
              0.6322
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02704,
              0.07215,
              0.11521,
              0.20401,
              0.38528,
              0.75295,
              1.48752
            ],
            [
              0.02703,
              0.07229,
              0.11515,
              0.20405,
              0.3857,
              0.75189,
              1.48792
            ],
            [
              0.02703,
              0.07225,
              0.11527,
              0.2039,
              0.38569,
              0.75318,
              1.48541
            ],
            [
              0.02703,
              0.07215,
              0.11526,
              0.20386,
              0.38566,
              0.75266,
              1.48691
            ],
            [
              0.02703,
              0.07233,
              0.11528,
              0.20393,
              0.38665,
              0.75358,
              1.48541
            ],
            [
              0.02703,
              0.07218,
              0.11529,
              0.20404,
              0.38554,
              0.75269,
              1.48702
            ],
            [
              0.02714,
              0.07247,
              0.11572,
              0.20378,
              0.38533,
              0.75492,
              1.48727
            ],
            [
              0.02856,
              0.07303,
              0.11562,
              0.20418,
              0.38541,
              0.75275,
              1.48592
            ],
            [
              0.03136,
              0.07549,
              0.11755,
              0.20485,
              0.38573,
              0.75217,
              1.4909
            ],
            [
              0.03544,
              0.07897,
              0.12043,
              0.20703,
              0.3867,
              0.75288,
              1.48675
            ],
            [
              0.04102,
              0.08415,
              0.12442,
              0.20938,
              0.38841,
              0.7527,
              1.4879
            ],
            [
              0.0481,
              0.0918,
              0.1301,
              0.2127,
              0.3897,
              0.7536,
              1.4894
            ],
            [
              0.0566,
              0.1034,
              0.1399,
              0.2186,
              0.3924,
              0.7558,
              1.4871
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.17328,
              0.21301,
              0.23895,
              0.27965,
              0.34651,
              0.46466,
              0.69004
            ],
            [
              0.17543,
              0.21522,
              0.24115,
              0.28182,
              0.34866,
              0.46684,
              0.69213
            ],
            [
              0.178,
              0.21778,
              0.24376,
              0.28449,
              0.35135,
              0.46946,
              0.69499
            ],
            [
              0.1821,
              0.22184,
              0.24782,
              0.28852,
              0.35541,
              0.4738,
              0.69915
            ],
            [
              0.18854,
              0.22827,
              0.25421,
              0.29496,
              0.36185,
              0.48024,
              0.70536
            ],
            [
              0.19868,
              0.23845,
              0.26437,
              0.30508,
              0.37194,
              0.4902,
              0.71553
            ],
            [
              0.21478,
              0.25445,
              0.28035,
              0.32109,
              0.38799,
              0.50639,
              0.73196
            ],
            [
              0.23992,
              0.27945,
              0.30531,
              0.34606,
              0.41302,
              0.53145,
              0.75704
            ],
            [
              0.27866,
              0.31797,
              0.34381,
              0.38459,
              0.45161,
              0.57018,
              0.79565
            ],
            [
              0.33154,
              0.37266,
              0.39907,
              0.44028,
              0.50762,
              0.62634,
              0.85189
            ],
            [
              0.39425,
              0.43916,
              0.46722,
              0.51062,
              0.58012,
              0.69982,
              0.92582
            ],
            [
              0.46747,
              0.51767,
              0.54827,
              0.59427,
              0.66637,
              0.78887,
              1.01617
            ],
            [
              0.5523,
              0.6089,
              0.643,
              0.693,
              0.7688,
              0.8939,
              1.1233
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10387,
              0.1504,
              0.18542,
              0.24961,
              0.37381,
              0.61994,
              1.11317
            ],
            [
              0.1065,
              0.15303,
              0.18803,
              0.25227,
              0.37651,
              0.62302,
              1.11484
            ],
            [
              0.10965,
              0.15616,
              0.19124,
              0.25534,
              0.3795,
              0.62639,
              1.11802
            ],
            [
              0.11446,
              0.16095,
              0.19603,
              0.26011,
              0.38427,
              0.63116,
              1.12367
            ],
            [
              0.12168,
              0.16816,
              0.20316,
              0.26739,
              0.39168,
              0.63834,
              1.13141
            ],
            [
              0.13257,
              0.17898,
              0.21395,
              0.27815,
              0.4024,
              0.64874,
              1.14212
            ],
            [
              0.14908,
              0.1953,
              0.23018,
              0.29426,
              0.41852,
              0.66572,
              1.15733
            ],
            [
              0.17208,
              0.21863,
              0.25348,
              0.31761,
              0.4421,
              0.68903,
              1.18056
            ],
            [
              0.19999,
              0.24844,
              0.28383,
              0.34808,
              0.47258,
              0.71909,
              1.21265
            ],
            [
              0.23313,
              0.28426,
              0.32042,
              0.38535,
              0.5098,
              0.75709,
              1.24979
            ],
            [
              0.2715,
              0.32684,
              0.36398,
              0.42954,
              0.55452,
              0.80162,
              1.29492
            ],
            [
              0.31517,
              0.37657,
              0.41547,
              0.48197,
              0.60687,
              0.85437,
              1.34667
            ],
            [
              0.3637,
              0.4333,
              0.4751,
              0.5434,
              0.6688,
              0.916,
              1.4086
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02823,
              0.05592,
              0.07703,
              0.11446,
              0.18567,
              0.32919,
              0.62575
            ],
            [
              0.02828,
              0.05588,
              0.07685,
              0.11449,
              0.18564,
              0.32934,
              0.62546
            ],
            [
              0.02824,
              0.0559,
              0.07699,
              0.11445,
              0.18568,
              0.32905,
              0.62653
            ],
            [
              0.02825,
              0.05589,
              0.07683,
              0.11454,
              0.18561,
              0.32878,
              0.62656
            ],
            [
              0.02824,
              0.0559,
              0.077,
              0.11445,
              0.1856,
              0.32881,
              0.62601
            ],
            [
              0.02824,
              0.05586,
              0.07688,
              0.1147,
              0.1857,
              0.32928,
              0.6254
            ],
            [
              0.02824,
              0.0559,
              0.07709,
              0.11448,
              0.18561,
              0.32879,
              0.62657
            ],
            [
              0.0282,
              0.05596,
              0.07707,
              0.11452,
              0.18569,
              0.32887,
              0.62653
            ],
            [
              0.02831,
              0.05618,
              0.07731,
              0.11465,
              0.18568,
              0.32923,
              0.62621
            ],
            [
              0.03245,
              0.05935,
              0.07982,
              0.11634,
              0.1867,
              0.32961,
              0.62645
            ],
            [
              0.03903,
              0.06607,
              0.08641,
              0.1228,
              0.1917,
              0.3323,
              0.6272
            ],
            [
              0.0478,
              0.0759,
              0.0961,
              0.1317,
              0.2001,
              0.3387,
              0.6306
            ],
            [
              0.0585,
              0.0888,
              0.1095,
              0.1445,
              0.2112,
              0.3471,
              0.6359
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02709,
              0.07231,
              0.11551,
              0.20469,
              0.38712,
              0.75547,
              1.49386
            ],
            [
              0.02708,
              0.07235,
              0.11551,
              0.20478,
              0.38752,
              0.75474,
              1.49341
            ],
            [
              0.02708,
              0.07252,
              0.11562,
              0.20469,
              0.38714,
              0.75566,
              1.49282
            ],
            [
              0.02708,
              0.07254,
              0.11563,
              0.20468,
              0.38708,
              0.75522,
              1.49297
            ],
            [
              0.02708,
              0.07232,
              0.11555,
              0.20478,
              0.38683,
              0.75493,
              1.49357
            ],
            [
              0.02709,
              0.07234,
              0.11557,
              0.20479,
              0.38696,
              0.75577,
              1.49363
            ],
            [
              0.02718,
              0.07246,
              0.11565,
              0.20464,
              0.38672,
              0.7569,
              1.49235
            ],
            [
              0.02857,
              0.07305,
              0.11597,
              0.20493,
              0.38771,
              0.75528,
              1.49263
            ],
            [
              0.03137,
              0.07564,
              0.1179,
              0.20562,
              0.38707,
              0.75787,
              1.49369
            ],
            [
              0.03545,
              0.0791,
              0.12075,
              0.20764,
              0.38813,
              0.75592,
              1.49287
            ],
            [
              0.04109,
              0.08418,
              0.12467,
              0.20998,
              0.38995,
              0.7559,
              1.4934
            ],
            [
              0.0481,
              0.092,
              0.1304,
              0.2134,
              0.3911,
              0.7569,
              1.4947
            ],
            [
              0.0567,
              0.1037,
              0.1402,
              0.2193,
              0.3943,
              0.7589,
              1.4929
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.16682,
              0.20568,
              0.23104,
              0.27101,
              0.33698,
              0.45452,
              0.67963
            ],
            [
              0.16898,
              0.2079,
              0.23328,
              0.27327,
              0.33921,
              0.4568,
              0.68154
            ],
            [
              0.1716,
              0.21054,
              0.23592,
              0.27588,
              0.34182,
              0.45932,
              0.68431
            ],
            [
              0.17574,
              0.21468,
              0.24005,
              0.28007,
              0.34608,
              0.46349,
              0.68866
            ],
            [
              0.18229,
              0.22119,
              0.24659,
              0.28659,
              0.35259,
              0.47017,
              0.69496
            ],
            [
              0.19261,
              0.23156,
              0.25691,
              0.2969,
              0.36291,
              0.48055,
              0.70549
            ],
            [
              0.20898,
              0.24777,
              0.27312,
              0.31314,
              0.3792,
              0.49676,
              0.72172
            ],
            [
              0.23447,
              0.27311,
              0.29843,
              0.33845,
              0.40455,
              0.52227,
              0.7475
            ],
            [
              0.27355,
              0.312,
              0.33729,
              0.37736,
              0.44355,
              0.56135,
              0.78655
            ],
            [
              0.32576,
              0.36637,
              0.3924,
              0.43302,
              0.49958,
              0.61754,
              0.84279
            ],
            [
              0.38755,
              0.43206,
              0.45982,
              0.50272,
              0.57152,
              0.69052,
              0.91592
            ],
            [
              0.45957,
              0.50947,
              0.53977,
              0.58537,
              0.65687,
              0.77857,
              1.00527
            ],
            [
              0.5432,
              0.5994,
              0.6333,
              0.6829,
              0.7581,
              0.8825,
              1.1113
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10382,
              0.15024,
              0.18519,
              0.24919,
              0.37299,
              0.61827,
              1.11007
            ],
            [
              0.10644,
              0.15288,
              0.18779,
              0.25184,
              0.37571,
              0.62136,
              1.11264
            ],
            [
              0.1096,
              0.156,
              0.191,
              0.25493,
              0.3787,
              0.62485,
              1.11452
            ],
            [
              0.11439,
              0.16078,
              0.19576,
              0.25968,
              0.38345,
              0.6296,
              1.12058
            ],
            [
              0.12158,
              0.16792,
              0.20285,
              0.26691,
              0.3908,
              0.63659,
              1.12731
            ],
            [
              0.13244,
              0.17876,
              0.21361,
              0.27766,
              0.40153,
              0.64712,
              1.13902
            ],
            [
              0.14896,
              0.1951,
              0.22989,
              0.29381,
              0.41773,
              0.66345,
              1.15403
            ],
            [
              0.17197,
              0.21842,
              0.25318,
              0.31714,
              0.44098,
              0.68741,
              1.17756
            ],
            [
              0.19984,
              0.2482,
              0.28349,
              0.34757,
              0.47173,
              0.7178,
              1.20955
            ],
            [
              0.23298,
              0.28403,
              0.3201,
              0.38484,
              0.50891,
              0.75549,
              1.24669
            ],
            [
              0.27137,
              0.32663,
              0.36369,
              0.42906,
              0.55372,
              0.79982,
              1.29132
            ],
            [
              0.31507,
              0.37647,
              0.41527,
              0.48147,
              0.60617,
              0.85277,
              1.34347
            ],
            [
              0.3637,
              0.4331,
              0.4748,
              0.5429,
              0.6678,
              0.9141,
              1.4053
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02734,
              0.05457,
              0.07531,
              0.11285,
              0.18375,
              0.32728,
              0.62566
            ],
            [
              0.02731,
              0.05456,
              0.0753,
              0.11277,
              0.18375,
              0.32773,
              0.62476
            ],
            [
              0.02731,
              0.05458,
              0.07535,
              0.11271,
              0.18381,
              0.32774,
              0.6249
            ],
            [
              0.02728,
              0.05457,
              0.07535,
              0.11286,
              0.18372,
              0.32737,
              0.62574
            ],
            [
              0.02734,
              0.05457,
              0.07531,
              0.11281,
              0.18367,
              0.32773,
              0.62495
            ],
            [
              0.0273,
              0.05456,
              0.07539,
              0.1127,
              0.18372,
              0.32769,
              0.62499
            ],
            [
              0.02732,
              0.05461,
              0.07539,
              0.11277,
              0.18376,
              0.32771,
              0.62462
            ],
            [
              0.02729,
              0.0547,
              0.07545,
              0.1129,
              0.18376,
              0.32728,
              0.62567
            ],
            [
              0.02756,
              0.05494,
              0.07567,
              0.11288,
              0.18381,
              0.3276,
              0.62558
            ],
            [
              0.03198,
              0.05862,
              0.07855,
              0.11487,
              0.18492,
              0.3282,
              0.62571
            ],
            [
              0.03861,
              0.06542,
              0.08545,
              0.12159,
              0.1903,
              0.3311,
              0.6257
            ],
            [
              0.0474,
              0.0752,
              0.0952,
              0.1306,
              0.1987,
              0.3375,
              0.6296
            ],
            [
              0.058,
              0.0883,
              0.1087,
              0.1434,
              0.2098,
              0.3456,
              0.6348
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02704,
              0.07217,
              0.11525,
              0.20411,
              0.38603,
              0.75351,
              1.48955
            ],
            [
              0.02705,
              0.07217,
              0.11526,
              0.20427,
              0.38692,
              0.75298,
              1.48947
            ],
            [
              0.02704,
              0.07237,
              0.11537,
              0.20429,
              0.38609,
              0.75359,
              1.48788
            ],
            [
              0.02705,
              0.0722,
              0.11537,
              0.20429,
              0.38604,
              0.75326,
              1.48844
            ],
            [
              0.02703,
              0.07241,
              0.11527,
              0.20422,
              0.38608,
              0.75287,
              1.49369
            ],
            [
              0.02706,
              0.07228,
              0.1153,
              0.20428,
              0.38592,
              0.75367,
              1.4895
            ],
            [
              0.02713,
              0.07233,
              0.1154,
              0.20412,
              0.38572,
              0.75362,
              1.49282
            ],
            [
              0.02858,
              0.07303,
              0.11571,
              0.2045,
              0.38603,
              0.75317,
              1.48852
            ],
            [
              0.03135,
              0.07551,
              0.11765,
              0.20514,
              0.386,
              0.75325,
              1.48785
            ],
            [
              0.03543,
              0.07899,
              0.12052,
              0.2071,
              0.38705,
              0.75414,
              1.48866
            ],
            [
              0.04107,
              0.08405,
              0.12439,
              0.20943,
              0.38884,
              0.7537,
              1.488
            ],
            [
              0.0481,
              0.0918,
              0.1302,
              0.2128,
              0.39,
              0.7541,
              1.4905
            ],
            [
              0.0565,
              0.1034,
              0.1398,
              0.2187,
              0.3929,
              0.7567,
              1.4885
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.21504,
              0.26018,
              0.28942,
              0.3347,
              0.40709,
              0.53078,
              0.75923
            ],
            [
              0.21684,
              0.26198,
              0.29125,
              0.33657,
              0.409,
              0.53248,
              0.761
            ],
            [
              0.21903,
              0.26419,
              0.29343,
              0.33876,
              0.41121,
              0.53493,
              0.76318
            ],
            [
              0.22251,
              0.26765,
              0.2969,
              0.34225,
              0.41469,
              0.53841,
              0.76663
            ],
            [
              0.22813,
              0.27326,
              0.30253,
              0.34787,
              0.4203,
              0.54399,
              0.77226
            ],
            [
              0.2372,
              0.28228,
              0.31149,
              0.35679,
              0.42918,
              0.55288,
              0.78142
            ],
            [
              0.25171,
              0.29679,
              0.326,
              0.37134,
              0.44378,
              0.56748,
              0.79599
            ],
            [
              0.27488,
              0.31985,
              0.34903,
              0.39435,
              0.46683,
              0.5906,
              0.81896
            ],
            [
              0.31118,
              0.35601,
              0.38513,
              0.43044,
              0.50296,
              0.62678,
              0.85515
            ],
            [
              0.36591,
              0.41077,
              0.43987,
              0.48519,
              0.5578,
              0.68159,
              0.91019
            ],
            [
              0.43357,
              0.48162,
              0.51202,
              0.55892,
              0.63292,
              0.75742,
              0.98632
            ],
            [
              0.51307,
              0.56607,
              0.59857,
              0.64757,
              0.72407,
              0.85157,
              1.08187
            ],
            [
              0.6056,
              0.6649,
              0.7007,
              0.7533,
              0.8331,
              0.963,
              1.1964
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10392,
              0.15041,
              0.18546,
              0.24966,
              0.37389,
              0.62031,
              1.11307
            ],
            [
              0.1066,
              0.15313,
              0.18813,
              0.25236,
              0.3766,
              0.62307,
              1.11574
            ],
            [
              0.10979,
              0.15628,
              0.19138,
              0.2555,
              0.3797,
              0.62658,
              1.11812
            ],
            [
              0.11467,
              0.16117,
              0.19623,
              0.26029,
              0.38447,
              0.63128,
              1.12428
            ],
            [
              0.12196,
              0.16844,
              0.20343,
              0.26767,
              0.39175,
              0.63863,
              1.13161
            ],
            [
              0.13291,
              0.17933,
              0.2143,
              0.27847,
              0.40278,
              0.64892,
              1.14222
            ],
            [
              0.14952,
              0.19573,
              0.23065,
              0.29478,
              0.41915,
              0.66561,
              1.15873
            ],
            [
              0.17261,
              0.21908,
              0.25393,
              0.31808,
              0.44256,
              0.68959,
              1.18206
            ],
            [
              0.20058,
              0.249,
              0.28438,
              0.34861,
              0.47309,
              0.71975,
              1.21295
            ],
            [
              0.23367,
              0.28476,
              0.32091,
              0.38583,
              0.5103,
              0.75749,
              1.25019
            ],
            [
              0.27197,
              0.32728,
              0.36444,
              0.42997,
              0.55492,
              0.80172,
              1.29532
            ],
            [
              0.31517,
              0.37667,
              0.41557,
              0.48197,
              0.60697,
              0.85437,
              1.34677
            ],
            [
              0.363,
              0.4327,
              0.4745,
              0.5428,
              0.6681,
              0.9155,
              1.408
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03479,
              0.06523,
              0.08772,
              0.12699,
              0.1994,
              0.34118,
              0.63273
            ],
            [
              0.03478,
              0.06511,
              0.08769,
              0.12695,
              0.19902,
              0.34089,
              0.63336
            ],
            [
              0.03479,
              0.06525,
              0.0877,
              0.12717,
              0.19931,
              0.34081,
              0.63368
            ],
            [
              0.0348,
              0.06524,
              0.0877,
              0.12726,
              0.19917,
              0.34081,
              0.63365
            ],
            [
              0.03481,
              0.06522,
              0.0877,
              0.12715,
              0.19937,
              0.34113,
              0.63267
            ],
            [
              0.0348,
              0.0651,
              0.08785,
              0.12731,
              0.19947,
              0.34086,
              0.6332
            ],
            [
              0.03478,
              0.0651,
              0.08785,
              0.12706,
              0.19936,
              0.34117,
              0.63266
            ],
            [
              0.03476,
              0.06513,
              0.08775,
              0.1271,
              0.19935,
              0.341,
              0.63349
            ],
            [
              0.0346,
              0.06514,
              0.08791,
              0.12712,
              0.19902,
              0.34087,
              0.63316
            ],
            [
              0.03651,
              0.06617,
              0.08847,
              0.12751,
              0.19967,
              0.34122,
              0.63302
            ],
            [
              0.04306,
              0.07229,
              0.0944,
              0.1328,
              0.2034,
              0.3431,
              0.6336
            ],
            [
              0.0521,
              0.0817,
              0.1033,
              0.1412,
              0.2113,
              0.3497,
              0.6371
            ],
            [
              0.0634,
              0.0948,
              0.1163,
              0.1533,
              0.2215,
              0.3583,
              0.6436
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02708,
              0.07247,
              0.1155,
              0.20478,
              0.3872,
              0.75508,
              1.49357
            ],
            [
              0.02708,
              0.07234,
              0.1155,
              0.20477,
              0.38794,
              0.75495,
              1.49366
            ],
            [
              0.02707,
              0.07234,
              0.1156,
              0.20471,
              0.38773,
              0.75651,
              1.49327
            ],
            [
              0.02709,
              0.0723,
              0.11562,
              0.20455,
              0.38707,
              0.75523,
              1.49706
            ],
            [
              0.02706,
              0.07236,
              0.11552,
              0.20473,
              0.38707,
              0.75485,
              1.49708
            ],
            [
              0.02711,
              0.07233,
              0.11558,
              0.20476,
              0.38708,
              0.75564,
              1.49367
            ],
            [
              0.02714,
              0.07249,
              0.11569,
              0.20457,
              0.38707,
              0.75547,
              1.49312
            ],
            [
              0.02854,
              0.0731,
              0.11594,
              0.2046,
              0.38697,
              0.75599,
              1.49278
            ],
            [
              0.03131,
              0.07559,
              0.11786,
              0.2055,
              0.38721,
              0.75502,
              1.49374
            ],
            [
              0.03539,
              0.07895,
              0.12065,
              0.20798,
              0.38812,
              0.75631,
              1.49259
            ],
            [
              0.04101,
              0.08409,
              0.1244,
              0.21004,
              0.38971,
              0.7561,
              1.4932
            ],
            [
              0.048,
              0.0919,
              0.1304,
              0.2134,
              0.3911,
              0.7564,
              1.4947
            ],
            [
              0.0566,
              0.1036,
              0.1401,
              0.2195,
              0.3939,
              0.759,
              1.4917
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.1999,
              0.24062,
              0.26698,
              0.30828,
              0.37582,
              0.49494,
              0.72106
            ],
            [
              0.20214,
              0.24284,
              0.26921,
              0.31052,
              0.3781,
              0.49713,
              0.72326
            ],
            [
              0.20481,
              0.24555,
              0.27191,
              0.31322,
              0.38077,
              0.49989,
              0.726
            ],
            [
              0.20894,
              0.24965,
              0.27604,
              0.31737,
              0.38493,
              0.50404,
              0.73013
            ],
            [
              0.2154,
              0.25608,
              0.28246,
              0.3238,
              0.39139,
              0.51046,
              0.73659
            ],
            [
              0.22562,
              0.2663,
              0.29268,
              0.33401,
              0.4016,
              0.52073,
              0.7468
            ],
            [
              0.24157,
              0.28221,
              0.30856,
              0.34989,
              0.4175,
              0.53661,
              0.76275
            ],
            [
              0.26645,
              0.30704,
              0.33336,
              0.37468,
              0.4423,
              0.56146,
              0.78758
            ],
            [
              0.30503,
              0.3455,
              0.37178,
              0.41311,
              0.48077,
              0.59995,
              0.82605
            ],
            [
              0.36197,
              0.403,
              0.42939,
              0.47082,
              0.53861,
              0.65789,
              0.88409
            ],
            [
              0.43173,
              0.47652,
              0.50452,
              0.54772,
              0.61692,
              0.73672,
              0.96302
            ],
            [
              0.51357,
              0.56357,
              0.59387,
              0.63957,
              0.71147,
              0.83397,
              1.06107
            ],
            [
              0.6086,
              0.6653,
              0.6989,
              0.7483,
              0.8237,
              0.9487,
              1.1782
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10937,
              0.16043,
              0.19691,
              0.26193,
              0.38604,
              0.63179,
              1.12227
            ],
            [
              0.11202,
              0.16307,
              0.19956,
              0.26452,
              0.38877,
              0.63447,
              1.12494
            ],
            [
              0.11518,
              0.16624,
              0.20268,
              0.26768,
              0.39193,
              0.63755,
              1.12752
            ],
            [
              0.11998,
              0.17103,
              0.20747,
              0.27243,
              0.39676,
              0.64207,
              1.13248
            ],
            [
              0.1272,
              0.17823,
              0.21466,
              0.27971,
              0.40388,
              0.64926,
              1.13991
            ],
            [
              0.13808,
              0.18902,
              0.22539,
              0.2904,
              0.41473,
              0.66024,
              1.15072
            ],
            [
              0.15458,
              0.20535,
              0.24167,
              0.30658,
              0.43093,
              0.67662,
              1.16763
            ],
            [
              0.17791,
              0.22893,
              0.26525,
              0.33024,
              0.45459,
              0.70048,
              1.19156
            ],
            [
              0.20669,
              0.26027,
              0.29697,
              0.36215,
              0.48643,
              0.73239,
              1.22445
            ],
            [
              0.24081,
              0.29828,
              0.33615,
              0.40203,
              0.52659,
              0.77289,
              1.26439
            ],
            [
              0.28037,
              0.34365,
              0.38291,
              0.44992,
              0.57492,
              0.82142,
              1.31262
            ],
            [
              0.32567,
              0.39677,
              0.43837,
              0.50687,
              0.63237,
              0.87897,
              1.36927
            ],
            [
              0.3767,
              0.4575,
              0.5029,
              0.5739,
              0.7003,
              0.9471,
              1.4374
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03,
              0.05781,
              0.07876,
              0.11639,
              0.18741,
              0.33087,
              0.62811
            ],
            [
              0.03,
              0.05776,
              0.07876,
              0.11643,
              0.18747,
              0.33075,
              0.62759
            ],
            [
              0.03005,
              0.05774,
              0.07874,
              0.11639,
              0.18748,
              0.33055,
              0.62775
            ],
            [
              0.02998,
              0.05781,
              0.07874,
              0.11636,
              0.18756,
              0.33096,
              0.62791
            ],
            [
              0.03,
              0.05782,
              0.07875,
              0.11641,
              0.1874,
              0.33061,
              0.62775
            ],
            [
              0.03001,
              0.05775,
              0.07876,
              0.11635,
              0.18749,
              0.33086,
              0.62788
            ],
            [
              0.02997,
              0.05787,
              0.0788,
              0.11638,
              0.1874,
              0.33052,
              0.62782
            ],
            [
              0.03,
              0.05778,
              0.07895,
              0.11642,
              0.18749,
              0.33095,
              0.62795
            ],
            [
              0.02998,
              0.05792,
              0.07906,
              0.11648,
              0.18752,
              0.33057,
              0.62745
            ],
            [
              0.0324,
              0.0592,
              0.07999,
              0.11711,
              0.18794,
              0.33073,
              0.62786
            ],
            [
              0.03869,
              0.0657,
              0.0861,
              0.1226,
              0.1915,
              0.3327,
              0.6279
            ],
            [
              0.0474,
              0.0749,
              0.0949,
              0.1308,
              0.1997,
              0.3385,
              0.6309
            ],
            [
              0.0583,
              0.0878,
              0.1079,
              0.1428,
              0.2099,
              0.3467,
              0.6357
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03205,
              0.07649,
              0.11892,
              0.20625,
              0.38676,
              0.75458,
              1.48719
            ],
            [
              0.03206,
              0.07635,
              0.11876,
              0.20603,
              0.38662,
              0.75419,
              1.48691
            ],
            [
              0.03207,
              0.07657,
              0.11912,
              0.20594,
              0.38661,
              0.75285,
              1.48826
            ],
            [
              0.03205,
              0.07641,
              0.11876,
              0.20617,
              0.38657,
              0.75527,
              1.48782
            ],
            [
              0.03207,
              0.07637,
              0.11875,
              0.20628,
              0.38674,
              0.75389,
              1.48802
            ],
            [
              0.03208,
              0.07639,
              0.11876,
              0.20609,
              0.38652,
              0.75296,
              1.48847
            ],
            [
              0.03214,
              0.0767,
              0.11889,
              0.20612,
              0.38679,
              0.75559,
              1.48723
            ],
            [
              0.03371,
              0.0772,
              0.11946,
              0.20646,
              0.38667,
              0.7551,
              1.4875
            ],
            [
              0.03764,
              0.08023,
              0.12105,
              0.20727,
              0.38817,
              0.75447,
              1.489
            ],
            [
              0.04298,
              0.08463,
              0.1249,
              0.20956,
              0.38758,
              0.75338,
              1.4905
            ],
            [
              0.04999,
              0.09137,
              0.13011,
              0.21292,
              0.3897,
              0.7549,
              1.4873
            ],
            [
              0.0587,
              0.1015,
              0.1382,
              0.2179,
              0.392,
              0.7563,
              1.4907
            ],
            [
              0.0692,
              0.1156,
              0.1498,
              0.2257,
              0.3961,
              0.7564,
              1.4893
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.25931,
              0.30671,
              0.3371,
              0.38399,
              0.45837,
              0.58412,
              0.81436
            ],
            [
              0.26121,
              0.30866,
              0.33903,
              0.38593,
              0.46032,
              0.58605,
              0.81631
            ],
            [
              0.26348,
              0.31094,
              0.34132,
              0.38822,
              0.46262,
              0.5884,
              0.81857
            ],
            [
              0.267,
              0.31446,
              0.34486,
              0.39177,
              0.46616,
              0.59191,
              0.82213
            ],
            [
              0.27261,
              0.32002,
              0.35041,
              0.39733,
              0.47172,
              0.5974,
              0.82766
            ],
            [
              0.28151,
              0.32888,
              0.35927,
              0.40622,
              0.48059,
              0.60638,
              0.83628
            ],
            [
              0.29575,
              0.34313,
              0.37346,
              0.42037,
              0.49476,
              0.6205,
              0.85077
            ],
            [
              0.31834,
              0.36567,
              0.39601,
              0.44288,
              0.51729,
              0.64305,
              0.87336
            ],
            [
              0.35383,
              0.40111,
              0.43142,
              0.47828,
              0.5527,
              0.67849,
              0.90875
            ],
            [
              0.40906,
              0.45606,
              0.4863,
              0.53315,
              0.60759,
              0.73339,
              0.96369
            ],
            [
              0.48532,
              0.53432,
              0.56532,
              0.61272,
              0.68762,
              0.81382,
              1.04422
            ],
            [
              0.57557,
              0.62927,
              0.66197,
              0.71167,
              0.78907,
              0.91757,
              1.14867
            ],
            [
              0.681,
              0.7411,
              0.7769,
              0.8297,
              0.91,
              1.0411,
              1.2755
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10938,
              0.16045,
              0.19699,
              0.2622,
              0.38674,
              0.63327,
              1.12607
            ],
            [
              0.11207,
              0.16316,
              0.19969,
              0.26492,
              0.38946,
              0.63569,
              1.12844
            ],
            [
              0.11526,
              0.16634,
              0.20288,
              0.26811,
              0.39266,
              0.63915,
              1.13162
            ],
            [
              0.12018,
              0.17122,
              0.20777,
              0.27297,
              0.39749,
              0.64394,
              1.13688
            ],
            [
              0.12748,
              0.17852,
              0.21503,
              0.28021,
              0.40482,
              0.65121,
              1.14391
            ],
            [
              0.13846,
              0.18944,
              0.2259,
              0.29112,
              0.41568,
              0.66193,
              1.15552
            ],
            [
              0.15503,
              0.20579,
              0.24218,
              0.30731,
              0.43201,
              0.67881,
              1.17143
            ],
            [
              0.17845,
              0.22947,
              0.26587,
              0.33105,
              0.45579,
              0.70254,
              1.19536
            ],
            [
              0.20733,
              0.26086,
              0.29764,
              0.36299,
              0.48769,
              0.73467,
              1.22745
            ],
            [
              0.24141,
              0.29878,
              0.3367,
              0.4028,
              0.52759,
              0.77479,
              1.26779
            ],
            [
              0.28085,
              0.34396,
              0.38331,
              0.45052,
              0.57592,
              0.82312,
              1.31562
            ],
            [
              0.32567,
              0.39667,
              0.43837,
              0.50697,
              0.63307,
              0.88027,
              1.37207
            ],
            [
              0.3758,
              0.4565,
              0.502,
              0.5733,
              0.7,
              0.9473,
              1.4398
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03832,
              0.0692,
              0.09206,
              0.1315,
              0.2043,
              0.34567,
              0.63696
            ],
            [
              0.03832,
              0.06916,
              0.09204,
              0.13153,
              0.20406,
              0.34549,
              0.63698
            ],
            [
              0.03832,
              0.0692,
              0.09198,
              0.13168,
              0.20421,
              0.34574,
              0.63721
            ],
            [
              0.03833,
              0.06921,
              0.09205,
              0.13167,
              0.20388,
              0.34572,
              0.63714
            ],
            [
              0.03833,
              0.06921,
              0.09207,
              0.13167,
              0.20393,
              0.3457,
              0.63638
            ],
            [
              0.03834,
              0.06916,
              0.09199,
              0.13161,
              0.20417,
              0.34581,
              0.63716
            ],
            [
              0.03833,
              0.06915,
              0.09206,
              0.13156,
              0.20406,
              0.34548,
              0.6365
            ],
            [
              0.03833,
              0.06916,
              0.09207,
              0.13154,
              0.20434,
              0.34544,
              0.63657
            ],
            [
              0.03829,
              0.06924,
              0.09209,
              0.1316,
              0.20429,
              0.34554,
              0.6366
            ],
            [
              0.03812,
              0.06925,
              0.09227,
              0.1318,
              0.2044,
              0.34582,
              0.6367
            ],
            [
              0.0436,
              0.0734,
              0.0956,
              0.1343,
              0.2057,
              0.3465,
              0.6371
            ],
            [
              0.0525,
              0.082,
              0.1039,
              0.1422,
              0.2132,
              0.3519,
              0.6398
            ],
            [
              0.064,
              0.0949,
              0.1164,
              0.1534,
              0.2228,
              0.3607,
              0.6455
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03195,
              0.07655,
              0.11892,
              0.20673,
              0.38806,
              0.7551,
              1.49399
            ],
            [
              0.03198,
              0.07646,
              0.11892,
              0.20672,
              0.38807,
              0.75584,
              1.49181
            ],
            [
              0.03197,
              0.07646,
              0.11892,
              0.20673,
              0.38779,
              0.75552,
              1.49203
            ],
            [
              0.03196,
              0.07643,
              0.11909,
              0.20653,
              0.38834,
              0.75585,
              1.49599
            ],
            [
              0.03196,
              0.07645,
              0.119,
              0.20645,
              0.3881,
              0.7557,
              1.49225
            ],
            [
              0.03197,
              0.07648,
              0.11899,
              0.20675,
              0.38838,
              0.75639,
              1.49419
            ],
            [
              0.03209,
              0.07662,
              0.11914,
              0.20658,
              0.38839,
              0.75515,
              1.49622
            ],
            [
              0.03354,
              0.07732,
              0.11968,
              0.207,
              0.38811,
              0.75547,
              1.49539
            ],
            [
              0.0374,
              0.08025,
              0.12137,
              0.20782,
              0.38777,
              0.75704,
              1.49243
            ],
            [
              0.04273,
              0.08471,
              0.12497,
              0.20984,
              0.38879,
              0.75607,
              1.4932
            ],
            [
              0.04971,
              0.09136,
              0.13005,
              0.21346,
              0.39122,
              0.7563,
              1.4942
            ],
            [
              0.0584,
              0.1014,
              0.1382,
              0.2182,
              0.3931,
              0.7583,
              1.4948
            ],
            [
              0.069,
              0.1157,
              0.1504,
              0.2262,
              0.397,
              0.7587,
              1.4939
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.28335,
              0.33136,
              0.36194,
              0.40914,
              0.48394,
              0.61015,
              0.84102
            ],
            [
              0.28535,
              0.3334,
              0.36399,
              0.41116,
              0.48595,
              0.61225,
              0.84305
            ],
            [
              0.28772,
              0.33577,
              0.36638,
              0.41358,
              0.48839,
              0.6146,
              0.84542
            ],
            [
              0.29139,
              0.33942,
              0.37002,
              0.41724,
              0.49206,
              0.61835,
              0.84925
            ],
            [
              0.29708,
              0.34511,
              0.37572,
              0.42293,
              0.49777,
              0.62406,
              0.85498
            ],
            [
              0.30611,
              0.35413,
              0.38472,
              0.43195,
              0.50677,
              0.63313,
              0.86384
            ],
            [
              0.32032,
              0.36832,
              0.39889,
              0.44611,
              0.52095,
              0.6473,
              0.87791
            ],
            [
              0.34279,
              0.39076,
              0.42134,
              0.46854,
              0.54339,
              0.66976,
              0.90056
            ],
            [
              0.37814,
              0.42611,
              0.45667,
              0.50384,
              0.57869,
              0.70499,
              0.93585
            ],
            [
              0.43307,
              0.4809,
              0.51142,
              0.55858,
              0.63339,
              0.75989,
              0.99069
            ],
            [
              0.51352,
              0.56242,
              0.59312,
              0.64042,
              0.71542,
              0.84182,
              1.07282
            ],
            [
              0.61057,
              0.66377,
              0.69627,
              0.74557,
              0.82287,
              0.95107,
              1.18247
            ],
            [
              0.7241,
              0.7836,
              0.819,
              0.8712,
              0.9512,
              1.0821,
              1.3164
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.10942,
              0.16651,
              0.2052,
              0.27189,
              0.39699,
              0.64401,
              1.13617
            ],
            [
              0.1121,
              0.16921,
              0.20793,
              0.27463,
              0.39967,
              0.64674,
              1.13894
            ],
            [
              0.1153,
              0.17239,
              0.2111,
              0.27779,
              0.40299,
              0.64981,
              1.14172
            ],
            [
              0.12022,
              0.1773,
              0.21598,
              0.2827,
              0.40786,
              0.65473,
              1.14658
            ],
            [
              0.12753,
              0.1846,
              0.22327,
              0.28998,
              0.4152,
              0.66218,
              1.15391
            ],
            [
              0.13851,
              0.19549,
              0.23406,
              0.30084,
              0.42608,
              0.6728,
              1.16552
            ],
            [
              0.15506,
              0.21182,
              0.25039,
              0.31709,
              0.44233,
              0.68954,
              1.18183
            ],
            [
              0.17847,
              0.23543,
              0.27399,
              0.34073,
              0.46608,
              0.71329,
              1.20556
            ],
            [
              0.2073,
              0.26712,
              0.30611,
              0.37308,
              0.49839,
              0.74485,
              1.23795
            ],
            [
              0.24136,
              0.30592,
              0.34638,
              0.41425,
              0.53978,
              0.78649,
              1.27859
            ],
            [
              0.2808,
              0.35228,
              0.39479,
              0.46432,
              0.59062,
              0.83752,
              1.33042
            ],
            [
              0.32567,
              0.40637,
              0.45217,
              0.52377,
              0.65117,
              0.89837,
              1.39047
            ],
            [
              0.3758,
              0.4678,
              0.5186,
              0.5938,
              0.7226,
              0.9702,
              1.4626
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03993,
              0.07092,
              0.09377,
              0.13369,
              0.20576,
              0.34747,
              0.63804
            ],
            [
              0.03992,
              0.07093,
              0.09377,
              0.13336,
              0.20603,
              0.34758,
              0.63807
            ],
            [
              0.03992,
              0.07093,
              0.09378,
              0.13369,
              0.20577,
              0.34746,
              0.63824
            ],
            [
              0.03994,
              0.07093,
              0.09378,
              0.1334,
              0.20584,
              0.34736,
              0.63865
            ],
            [
              0.03995,
              0.07097,
              0.09387,
              0.13335,
              0.20584,
              0.34722,
              0.63858
            ],
            [
              0.03992,
              0.07096,
              0.09379,
              0.1336,
              0.20604,
              0.34754,
              0.63885
            ],
            [
              0.03991,
              0.07089,
              0.09379,
              0.13367,
              0.20574,
              0.34755,
              0.63879
            ],
            [
              0.03992,
              0.07097,
              0.09377,
              0.13371,
              0.20602,
              0.34751,
              0.63882
            ],
            [
              0.03994,
              0.07087,
              0.0937,
              0.13339,
              0.2058,
              0.34717,
              0.63835
            ],
            [
              0.03974,
              0.07085,
              0.09383,
              0.13344,
              0.20576,
              0.34751,
              0.6379
            ],
            [
              0.0435,
              0.0733,
              0.0957,
              0.1345,
              0.2065,
              0.3478,
              0.6388
            ],
            [
              0.0521,
              0.0815,
              0.1033,
              0.1419,
              0.213,
              0.3522,
              0.6398
            ],
            [
              0.0636,
              0.094,
              0.1152,
              0.1524,
              0.2225,
              0.3605,
              0.6464
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03329,
              0.08281,
              0.12439,
              0.20979,
              0.38974,
              0.75745,
              1.49798
            ],
            [
              0.03324,
              0.08288,
              0.1245,
              0.20995,
              0.38975,
              0.7574,
              1.49793
            ],
            [
              0.03328,
              0.08281,
              0.12429,
              0.20982,
              0.38937,
              0.75599,
              1.49288
            ],
            [
              0.03328,
              0.08285,
              0.12421,
              0.20979,
              0.38891,
              0.75602,
              1.49632
            ],
            [
              0.03324,
              0.08288,
              0.12433,
              0.20979,
              0.38952,
              0.75742,
              1.49643
            ],
            [
              0.03324,
              0.08285,
              0.12435,
              0.21,
              0.38949,
              0.75733,
              1.49313
            ],
            [
              0.0333,
              0.08315,
              0.12475,
              0.21003,
              0.38977,
              0.75749,
              1.49824
            ],
            [
              0.03469,
              0.08378,
              0.12497,
              0.21027,
              0.38978,
              0.75732,
              1.49283
            ],
            [
              0.0385,
              0.08693,
              0.12673,
              0.21129,
              0.38994,
              0.75594,
              1.49254
            ],
            [
              0.04389,
              0.09277,
              0.13151,
              0.2141,
              0.39098,
              0.75578,
              1.4964
            ],
            [
              0.05088,
              0.10137,
              0.13834,
              0.21859,
              0.39307,
              0.7568,
              1.4919
            ],
            [
              0.0596,
              0.1138,
              0.1488,
              0.2247,
              0.3962,
              0.7604,
              1.4943
            ],
            [
              0.0706,
              0.1314,
              0.1643,
              0.2356,
              0.4012,
              0.76,
              1.4953
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.16681,
              0.20436,
              0.22889,
              0.26777,
              0.33259,
              0.44936,
              0.67449
            ],
            [
              0.169,
              0.20654,
              0.23104,
              0.26992,
              0.33475,
              0.45153,
              0.67667
            ],
            [
              0.17177,
              0.20932,
              0.23385,
              0.27274,
              0.33754,
              0.45437,
              0.67947
            ],
            [
              0.17613,
              0.21366,
              0.23822,
              0.2771,
              0.34194,
              0.45865,
              0.68368
            ],
            [
              0.18294,
              0.22047,
              0.24501,
              0.28391,
              0.34877,
              0.46542,
              0.6904
            ],
            [
              0.19349,
              0.23099,
              0.25552,
              0.29442,
              0.35927,
              0.47607,
              0.70117
            ],
            [
              0.20991,
              0.24735,
              0.27187,
              0.31077,
              0.37562,
              0.49248,
              0.7176
            ],
            [
              0.23503,
              0.2724,
              0.29689,
              0.33581,
              0.40072,
              0.5174,
              0.74239
            ],
            [
              0.27318,
              0.31042,
              0.33492,
              0.37388,
              0.43885,
              0.55574,
              0.78075
            ],
            [
              0.32379,
              0.36306,
              0.38825,
              0.42779,
              0.49313,
              0.61013,
              0.83529
            ],
            [
              0.3826,
              0.42561,
              0.45242,
              0.49402,
              0.56142,
              0.67952,
              0.90502
            ],
            [
              0.44937,
              0.49757,
              0.52677,
              0.57087,
              0.64077,
              0.76117,
              0.98777
            ],
            [
              0.524,
              0.5787,
              0.6112,
              0.6589,
              0.7322,
              0.855,
              1.083
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.11028,
              0.15665,
              0.19162,
              0.25553,
              0.37913,
              0.62442,
              1.11547
            ],
            [
              0.11334,
              0.15971,
              0.19469,
              0.25855,
              0.38218,
              0.62807,
              1.11834
            ],
            [
              0.11669,
              0.16308,
              0.19804,
              0.262,
              0.38572,
              0.63099,
              1.12202
            ],
            [
              0.12133,
              0.16773,
              0.20267,
              0.26661,
              0.39014,
              0.63584,
              1.12658
            ],
            [
              0.12799,
              0.17437,
              0.2093,
              0.2732,
              0.39672,
              0.6426,
              1.13331
            ],
            [
              0.13769,
              0.18405,
              0.21892,
              0.28288,
              0.40664,
              0.65221,
              1.14292
            ],
            [
              0.15209,
              0.19826,
              0.23315,
              0.29701,
              0.42069,
              0.66633,
              1.15603
            ],
            [
              0.17249,
              0.21899,
              0.25382,
              0.31769,
              0.44155,
              0.68759,
              1.17766
            ],
            [
              0.19861,
              0.24695,
              0.28221,
              0.34632,
              0.47032,
              0.71605,
              1.20705
            ],
            [
              0.23125,
              0.28215,
              0.31831,
              0.38291,
              0.50698,
              0.75319,
              1.24279
            ],
            [
              0.27123,
              0.32564,
              0.36298,
              0.42851,
              0.55282,
              0.79872,
              1.29002
            ],
            [
              0.31917,
              0.37847,
              0.41747,
              0.48427,
              0.60917,
              0.85497,
              1.34507
            ],
            [
              0.3753,
              0.4416,
              0.4832,
              0.552,
              0.6777,
              0.9238,
              1.4137
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02607,
              0.05247,
              0.07283,
              0.10962,
              0.18073,
              0.32563,
              0.6249
            ],
            [
              0.02607,
              0.05246,
              0.07275,
              0.10973,
              0.18079,
              0.32558,
              0.6248
            ],
            [
              0.0261,
              0.05244,
              0.07275,
              0.10962,
              0.18061,
              0.32538,
              0.62488
            ],
            [
              0.02607,
              0.05253,
              0.07276,
              0.10981,
              0.18079,
              0.32565,
              0.62417
            ],
            [
              0.02607,
              0.05247,
              0.07283,
              0.10974,
              0.18076,
              0.32556,
              0.62439
            ],
            [
              0.02606,
              0.05255,
              0.07276,
              0.10966,
              0.18073,
              0.32557,
              0.62464
            ],
            [
              0.02607,
              0.05257,
              0.07281,
              0.10968,
              0.18062,
              0.32533,
              0.62486
            ],
            [
              0.02606,
              0.05255,
              0.07296,
              0.10978,
              0.18077,
              0.32559,
              0.62389
            ],
            [
              0.02639,
              0.0529,
              0.07326,
              0.11002,
              0.18075,
              0.32567,
              0.62431
            ],
            [
              0.03034,
              0.05609,
              0.07578,
              0.11176,
              0.18183,
              0.32604,
              0.62436
            ],
            [
              0.03653,
              0.06241,
              0.08221,
              0.11791,
              0.1866,
              0.3288,
              0.6259
            ],
            [
              0.0447,
              0.0716,
              0.0911,
              0.1261,
              0.1941,
              0.3339,
              0.6276
            ],
            [
              0.0549,
              0.0836,
              0.1033,
              0.138,
              0.2041,
              0.341,
              0.6316
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02703,
              0.07215,
              0.11521,
              0.20386,
              0.38543,
              0.75286,
              1.48793
            ],
            [
              0.02704,
              0.0722,
              0.1152,
              0.20392,
              0.38565,
              0.75266,
              1.48669
            ],
            [
              0.02707,
              0.07211,
              0.11514,
              0.20403,
              0.38572,
              0.75222,
              1.48831
            ],
            [
              0.02702,
              0.07212,
              0.11512,
              0.20383,
              0.38525,
              0.75417,
              1.48777
            ],
            [
              0.02706,
              0.07212,
              0.11516,
              0.20373,
              0.38547,
              0.75326,
              1.48812
            ],
            [
              0.02703,
              0.07219,
              0.11516,
              0.20391,
              0.38558,
              0.75244,
              1.48768
            ],
            [
              0.02712,
              0.07225,
              0.11532,
              0.2037,
              0.38557,
              0.75237,
              1.48685
            ],
            [
              0.02822,
              0.07277,
              0.11551,
              0.20385,
              0.3857,
              0.75303,
              1.48642
            ],
            [
              0.03041,
              0.0749,
              0.11693,
              0.20452,
              0.38683,
              0.75297,
              1.48813
            ],
            [
              0.03332,
              0.07802,
              0.11973,
              0.2062,
              0.38665,
              0.75292,
              1.4869
            ],
            [
              0.03744,
              0.08255,
              0.12346,
              0.20878,
              0.38785,
              0.7532,
              1.4891
            ],
            [
              0.0431,
              0.0889,
              0.1291,
              0.2123,
              0.389,
              0.753,
              1.4885
            ],
            [
              0.0506,
              0.0984,
              0.1375,
              0.2183,
              0.3921,
              0.7552,
              1.4857
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.18916,
              0.22956,
              0.25584,
              0.29704,
              0.36449,
              0.48345,
              0.70938
            ],
            [
              0.1912,
              0.2316,
              0.25788,
              0.29907,
              0.36652,
              0.48555,
              0.7117
            ],
            [
              0.19378,
              0.2342,
              0.26048,
              0.30167,
              0.36913,
              0.48815,
              0.71423
            ],
            [
              0.19787,
              0.23828,
              0.26456,
              0.30577,
              0.37324,
              0.49221,
              0.71828
            ],
            [
              0.20431,
              0.24471,
              0.27099,
              0.31221,
              0.37968,
              0.49866,
              0.72483
            ],
            [
              0.21433,
              0.25471,
              0.28097,
              0.32217,
              0.38965,
              0.50868,
              0.73462
            ],
            [
              0.22996,
              0.27032,
              0.29656,
              0.33777,
              0.40525,
              0.52432,
              0.7503
            ],
            [
              0.25396,
              0.29425,
              0.32046,
              0.36166,
              0.42917,
              0.54829,
              0.77445
            ],
            [
              0.29105,
              0.33121,
              0.35739,
              0.39862,
              0.46619,
              0.58532,
              0.81155
            ],
            [
              0.34324,
              0.38447,
              0.41094,
              0.45245,
              0.52028,
              0.63959,
              0.86559
            ],
            [
              0.40496,
              0.44962,
              0.47762,
              0.52092,
              0.59042,
              0.71062,
              0.93712
            ],
            [
              0.47527,
              0.52497,
              0.55517,
              0.60077,
              0.67277,
              0.79547,
              1.02327
            ],
            [
              0.5543,
              0.6104,
              0.6438,
              0.6929,
              0.7681,
              0.8931,
              1.1226
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.11038,
              0.15689,
              0.19195,
              0.25613,
              0.38032,
              0.62718,
              1.11887
            ],
            [
              0.11349,
              0.15997,
              0.19507,
              0.25923,
              0.38337,
              0.63026,
              1.12184
            ],
            [
              0.11687,
              0.16337,
              0.19846,
              0.26266,
              0.38688,
              0.6329,
              1.12602
            ],
            [
              0.12158,
              0.16806,
              0.20317,
              0.26726,
              0.39143,
              0.63833,
              1.13038
            ],
            [
              0.12826,
              0.17471,
              0.20978,
              0.274,
              0.39819,
              0.64432,
              1.13771
            ],
            [
              0.138,
              0.18446,
              0.21944,
              0.28368,
              0.40796,
              0.65446,
              1.14792
            ],
            [
              0.15241,
              0.1987,
              0.23366,
              0.29792,
              0.42218,
              0.66855,
              1.16053
            ],
            [
              0.17286,
              0.21943,
              0.25437,
              0.31852,
              0.44283,
              0.68986,
              1.18176
            ],
            [
              0.19896,
              0.24741,
              0.28274,
              0.34713,
              0.4717,
              0.71816,
              1.21135
            ],
            [
              0.23158,
              0.28259,
              0.31886,
              0.38372,
              0.50826,
              0.75549,
              1.24719
            ],
            [
              0.27152,
              0.32603,
              0.3635,
              0.42926,
              0.55402,
              0.80092,
              1.29432
            ],
            [
              0.31937,
              0.37877,
              0.41797,
              0.48497,
              0.61037,
              0.85717,
              1.34937
            ],
            [
              0.3753,
              0.4417,
              0.4834,
              0.5525,
              0.6789,
              0.9263,
              1.418
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02926,
              0.05697,
              0.07811,
              0.1158,
              0.18689,
              0.33042,
              0.62656
            ],
            [
              0.02924,
              0.05701,
              0.07797,
              0.11563,
              0.18683,
              0.33017,
              0.62764
            ],
            [
              0.02925,
              0.05702,
              0.07794,
              0.11564,
              0.18695,
              0.33063,
              0.62757
            ],
            [
              0.02926,
              0.05706,
              0.07798,
              0.11563,
              0.18691,
              0.3304,
              0.6272
            ],
            [
              0.0293,
              0.05697,
              0.07816,
              0.11583,
              0.18692,
              0.33037,
              0.62756
            ],
            [
              0.02923,
              0.05707,
              0.07818,
              0.11578,
              0.18694,
              0.33062,
              0.62724
            ],
            [
              0.02926,
              0.05701,
              0.07814,
              0.11577,
              0.18694,
              0.3306,
              0.62732
            ],
            [
              0.02922,
              0.05707,
              0.07807,
              0.11571,
              0.18693,
              0.33028,
              0.62774
            ],
            [
              0.02926,
              0.05715,
              0.0782,
              0.11577,
              0.18695,
              0.3306,
              0.62738
            ],
            [
              0.03233,
              0.05926,
              0.08,
              0.11692,
              0.18768,
              0.33051,
              0.62719
            ],
            [
              0.03841,
              0.06538,
              0.08596,
              0.1224,
              0.1919,
              0.3332,
              0.6278
            ],
            [
              0.0467,
              0.0743,
              0.0944,
              0.1305,
              0.1995,
              0.3385,
              0.6315
            ],
            [
              0.0572,
              0.0864,
              0.1066,
              0.1421,
              0.2089,
              0.3461,
              0.6361
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02708,
              0.07226,
              0.11553,
              0.2048,
              0.38725,
              0.75599,
              1.49208
            ],
            [
              0.02708,
              0.07249,
              0.11556,
              0.20479,
              0.38791,
              0.75655,
              1.49272
            ],
            [
              0.02708,
              0.07234,
              0.11551,
              0.20471,
              0.38714,
              0.75558,
              1.49365
            ],
            [
              0.02709,
              0.07233,
              0.11561,
              0.20467,
              0.38707,
              0.75547,
              1.49208
            ],
            [
              0.02709,
              0.07249,
              0.11551,
              0.20463,
              0.38692,
              0.75565,
              1.49353
            ],
            [
              0.02707,
              0.07238,
              0.11553,
              0.20466,
              0.38708,
              0.75506,
              1.49368
            ],
            [
              0.02716,
              0.07256,
              0.11557,
              0.20481,
              0.38694,
              0.75547,
              1.4927
            ],
            [
              0.02822,
              0.07292,
              0.11581,
              0.2047,
              0.38712,
              0.75534,
              1.49102
            ],
            [
              0.03046,
              0.07499,
              0.11732,
              0.20533,
              0.38717,
              0.75805,
              1.4938
            ],
            [
              0.03334,
              0.07819,
              0.12003,
              0.20683,
              0.38807,
              0.75715,
              1.49267
            ],
            [
              0.03749,
              0.08269,
              0.12371,
              0.20954,
              0.38943,
              0.7549,
              1.495
            ],
            [
              0.0432,
              0.0892,
              0.1295,
              0.213,
              0.3905,
              0.756,
              1.4941
            ],
            [
              0.0506,
              0.0987,
              0.1378,
              0.2193,
              0.3937,
              0.7581,
              1.4911
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.18203,
              0.22152,
              0.2472,
              0.28762,
              0.35418,
              0.47245,
              0.69818
            ],
            [
              0.18408,
              0.22356,
              0.24923,
              0.28964,
              0.35621,
              0.47436,
              0.69998
            ],
            [
              0.18671,
              0.22619,
              0.25189,
              0.29231,
              0.35887,
              0.4771,
              0.70282
            ],
            [
              0.19085,
              0.23034,
              0.25604,
              0.29647,
              0.36305,
              0.48125,
              0.70696
            ],
            [
              0.19739,
              0.23687,
              0.26257,
              0.303,
              0.36958,
              0.48786,
              0.7135
            ],
            [
              0.20755,
              0.24701,
              0.2727,
              0.31314,
              0.37972,
              0.49798,
              0.72376
            ],
            [
              0.22342,
              0.26284,
              0.2885,
              0.32894,
              0.39554,
              0.51375,
              0.73949
            ],
            [
              0.24775,
              0.2871,
              0.31274,
              0.35317,
              0.41981,
              0.53798,
              0.7636
            ],
            [
              0.28523,
              0.32444,
              0.35006,
              0.39053,
              0.45721,
              0.5756,
              0.80125
            ],
            [
              0.33697,
              0.37759,
              0.40364,
              0.44447,
              0.51144,
              0.62999,
              0.85579
            ],
            [
              0.39766,
              0.44184,
              0.46942,
              0.51222,
              0.58102,
              0.70052,
              0.92642
            ],
            [
              0.46677,
              0.51607,
              0.54597,
              0.59107,
              0.66227,
              0.78427,
              1.01137
            ],
            [
              0.5443,
              0.6,
              0.6331,
              0.6818,
              0.7564,
              0.8806,
              1.1096
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.11033,
              0.15674,
              0.19174,
              0.25564,
              0.37929,
              0.6254,
              1.11697
            ],
            [
              0.11343,
              0.15984,
              0.19484,
              0.25881,
              0.38258,
              0.62826,
              1.11954
            ],
            [
              0.11681,
              0.16322,
              0.19821,
              0.26221,
              0.38593,
              0.63169,
              1.12282
            ],
            [
              0.1215,
              0.1679,
              0.20289,
              0.26684,
              0.39048,
              0.63655,
              1.12778
            ],
            [
              0.12816,
              0.17453,
              0.20951,
              0.27352,
              0.39716,
              0.64313,
              1.13481
            ],
            [
              0.13789,
              0.18425,
              0.21914,
              0.28321,
              0.40713,
              0.65293,
              1.14422
            ],
            [
              0.15229,
              0.19848,
              0.2334,
              0.29733,
              0.42133,
              0.66694,
              1.15753
            ],
            [
              0.1727,
              0.2192,
              0.25406,
              0.318,
              0.44216,
              0.68825,
              1.17836
            ],
            [
              0.19882,
              0.24717,
              0.2824,
              0.34662,
              0.47064,
              0.71674,
              1.20845
            ],
            [
              0.23144,
              0.28236,
              0.31854,
              0.38321,
              0.50737,
              0.75359,
              1.24399
            ],
            [
              0.27139,
              0.32581,
              0.36319,
              0.42876,
              0.55312,
              0.79922,
              1.29122
            ],
            [
              0.31927,
              0.37857,
              0.41757,
              0.48447,
              0.60947,
              0.85547,
              1.34607
            ],
            [
              0.3752,
              0.4415,
              0.4831,
              0.5519,
              0.6777,
              0.924,
              1.4144
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.0283,
              0.0557,
              0.07643,
              0.11384,
              0.1849,
              0.32857,
              0.62678
            ],
            [
              0.0283,
              0.05564,
              0.07663,
              0.11384,
              0.18495,
              0.32884,
              0.62606
            ],
            [
              0.02829,
              0.05567,
              0.07662,
              0.11384,
              0.1849,
              0.3286,
              0.62654
            ],
            [
              0.0283,
              0.05572,
              0.07646,
              0.11399,
              0.18499,
              0.32897,
              0.62655
            ],
            [
              0.02828,
              0.05569,
              0.07648,
              0.11385,
              0.18494,
              0.32896,
              0.62644
            ],
            [
              0.0283,
              0.05574,
              0.07664,
              0.11383,
              0.18486,
              0.32851,
              0.62696
            ],
            [
              0.0283,
              0.05577,
              0.07647,
              0.11384,
              0.18487,
              0.32879,
              0.62644
            ],
            [
              0.02827,
              0.05568,
              0.07671,
              0.11387,
              0.18495,
              0.32894,
              0.6259
            ],
            [
              0.02842,
              0.05594,
              0.07685,
              0.11398,
              0.18497,
              0.32897,
              0.62606
            ],
            [
              0.03183,
              0.05839,
              0.07865,
              0.11534,
              0.18579,
              0.32887,
              0.62688
            ],
            [
              0.03798,
              0.06457,
              0.08499,
              0.1211,
              0.1901,
              0.3315,
              0.6271
            ],
            [
              0.0464,
              0.0737,
              0.0935,
              0.1293,
              0.1979,
              0.3373,
              0.6304
            ],
            [
              0.0567,
              0.0858,
              0.1058,
              0.141,
              0.2077,
              0.3445,
              0.6351
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02705,
              0.07237,
              0.11536,
              0.20412,
              0.38596,
              0.75347,
              1.48948
            ],
            [
              0.02704,
              0.07236,
              0.11533,
              0.20395,
              0.38586,
              0.7556,
              1.48911
            ],
            [
              0.02704,
              0.07216,
              0.11527,
              0.20396,
              0.38572,
              0.75537,
              1.48867
            ],
            [
              0.02704,
              0.07217,
              0.11527,
              0.20403,
              0.38599,
              0.75337,
              1.48965
            ],
            [
              0.02708,
              0.07234,
              0.11525,
              0.2039,
              0.38586,
              0.75515,
              1.4895
            ],
            [
              0.02703,
              0.07229,
              0.11527,
              0.20418,
              0.38609,
              0.75284,
              1.4925
            ],
            [
              0.02713,
              0.07245,
              0.11543,
              0.20416,
              0.38594,
              0.75336,
              1.48743
            ],
            [
              0.02823,
              0.07292,
              0.11557,
              0.20439,
              0.38636,
              0.75324,
              1.4928
            ],
            [
              0.03042,
              0.07491,
              0.11703,
              0.20468,
              0.38701,
              0.75426,
              1.49124
            ],
            [
              0.03332,
              0.07804,
              0.11981,
              0.20631,
              0.38709,
              0.7529,
              1.48826
            ],
            [
              0.03746,
              0.08261,
              0.12345,
              0.209,
              0.38824,
              0.7529,
              1.4909
            ],
            [
              0.0432,
              0.089,
              0.1291,
              0.2124,
              0.3893,
              0.7533,
              1.4898
            ],
            [
              0.0505,
              0.0985,
              0.1375,
              0.2184,
              0.3924,
              0.7559,
              1.487
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.24008,
              0.2866,
              0.31655,
              0.36283,
              0.43648,
              0.56155,
              0.79127
            ],
            [
              0.24168,
              0.28824,
              0.31818,
              0.36446,
              0.43812,
              0.56319,
              0.79278
            ],
            [
              0.24389,
              0.29044,
              0.32041,
              0.3667,
              0.44035,
              0.56537,
              0.79482
            ],
            [
              0.24748,
              0.29402,
              0.32399,
              0.37028,
              0.44394,
              0.5689,
              0.79863
            ],
            [
              0.25317,
              0.29972,
              0.32968,
              0.37599,
              0.44964,
              0.57466,
              0.80427
            ],
            [
              0.26217,
              0.30871,
              0.33865,
              0.38496,
              0.45861,
              0.58366,
              0.81342
            ],
            [
              0.27635,
              0.32286,
              0.3528,
              0.39907,
              0.47275,
              0.59783,
              0.82744
            ],
            [
              0.29841,
              0.34491,
              0.37482,
              0.42108,
              0.49474,
              0.61974,
              0.84936
            ],
            [
              0.3328,
              0.37923,
              0.4091,
              0.45535,
              0.52905,
              0.6542,
              0.88395
            ],
            [
              0.38545,
              0.43157,
              0.46136,
              0.50763,
              0.58141,
              0.70669,
              0.93629
            ],
            [
              0.45312,
              0.50172,
              0.53252,
              0.57982,
              0.65442,
              0.78022,
              1.01022
            ],
            [
              0.53127,
              0.58437,
              0.61677,
              0.66597,
              0.74297,
              0.87117,
              1.10237
            ],
            [
              0.6198,
              0.6791,
              0.7145,
              0.7667,
              0.8465,
              0.9769,
              1.2108
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.11045,
              0.15697,
              0.19201,
              0.25621,
              0.38046,
              0.62717,
              1.11907
            ],
            [
              0.11361,
              0.16011,
              0.19519,
              0.25936,
              0.38357,
              0.63042,
              1.12254
            ],
            [
              0.11707,
              0.16357,
              0.19866,
              0.26283,
              0.38695,
              0.63337,
              1.12612
            ],
            [
              0.12183,
              0.16833,
              0.20342,
              0.26754,
              0.39173,
              0.63862,
              1.12988
            ],
            [
              0.1286,
              0.17506,
              0.21013,
              0.27435,
              0.39847,
              0.64488,
              1.13791
            ],
            [
              0.13842,
              0.18486,
              0.21986,
              0.28405,
              0.4081,
              0.65488,
              1.14782
            ],
            [
              0.1529,
              0.19925,
              0.23418,
              0.29841,
              0.42275,
              0.66948,
              1.16133
            ],
            [
              0.17341,
              0.21994,
              0.25491,
              0.31912,
              0.44346,
              0.69045,
              1.18216
            ],
            [
              0.19956,
              0.24797,
              0.28331,
              0.34769,
              0.47225,
              0.71885,
              1.21205
            ],
            [
              0.23217,
              0.28316,
              0.31943,
              0.38423,
              0.50872,
              0.75569,
              1.24859
            ],
            [
              0.27203,
              0.32651,
              0.36396,
              0.42971,
              0.55452,
              0.80122,
              1.29492
            ],
            [
              0.31967,
              0.37907,
              0.41817,
              0.48517,
              0.61067,
              0.85747,
              1.34957
            ],
            [
              0.375,
              0.4414,
              0.4831,
              0.5522,
              0.6785,
              0.9263,
              1.4177
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03679,
              0.06751,
              0.09027,
              0.12959,
              0.20232,
              0.3439,
              0.63592
            ],
            [
              0.03679,
              0.06751,
              0.09017,
              0.1298,
              0.20217,
              0.34393,
              0.63599
            ],
            [
              0.0368,
              0.06748,
              0.09017,
              0.12977,
              0.20193,
              0.34406,
              0.63588
            ],
            [
              0.03679,
              0.06746,
              0.09016,
              0.12985,
              0.20194,
              0.34395,
              0.63528
            ],
            [
              0.0368,
              0.06746,
              0.09012,
              0.12969,
              0.20196,
              0.34406,
              0.63558
            ],
            [
              0.03677,
              0.06745,
              0.09016,
              0.12969,
              0.20201,
              0.34383,
              0.63592
            ],
            [
              0.0368,
              0.06746,
              0.09018,
              0.12991,
              0.20221,
              0.34395,
              0.63602
            ],
            [
              0.0368,
              0.06744,
              0.09017,
              0.1297,
              0.20205,
              0.344,
              0.63575
            ],
            [
              0.03672,
              0.06745,
              0.09022,
              0.12996,
              0.20184,
              0.34388,
              0.63549
            ],
            [
              0.03722,
              0.06789,
              0.09066,
              0.13007,
              0.20244,
              0.34397,
              0.6356
            ],
            [
              0.04307,
              0.0726,
              0.0949,
              0.1336,
              0.2048,
              0.3454,
              0.6362
            ],
            [
              0.0516,
              0.081,
              0.1028,
              0.1409,
              0.2121,
              0.3512,
              0.6394
            ],
            [
              0.0626,
              0.0934,
              0.1147,
              0.1516,
              0.2212,
              0.3591,
              0.6447
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.02708,
              0.07244,
              0.11552,
              0.20472,
              0.38731,
              0.75542,
              1.49718
            ],
            [
              0.02708,
              0.07238,
              0.11553,
              0.20474,
              0.38733,
              0.75772,
              1.49708
            ],
            [
              0.02708,
              0.07228,
              0.11553,
              0.20458,
              0.38694,
              0.75575,
              1.49304
            ],
            [
              0.02708,
              0.07232,
              0.11561,
              0.20463,
              0.38713,
              0.7557,
              1.49192
            ],
            [
              0.02711,
              0.0725,
              0.11551,
              0.20462,
              0.38687,
              0.75577,
              1.49368
            ],
            [
              0.02708,
              0.07235,
              0.11553,
              0.20441,
              0.38686,
              0.75732,
              1.49371
            ],
            [
              0.02716,
              0.07247,
              0.11557,
              0.20477,
              0.38712,
              0.75492,
              1.49192
            ],
            [
              0.02821,
              0.07306,
              0.11581,
              0.20464,
              0.38805,
              0.75579,
              1.49117
            ],
            [
              0.03041,
              0.07497,
              0.11732,
              0.20515,
              0.38812,
              0.75698,
              1.49363
            ],
            [
              0.03339,
              0.07815,
              0.12009,
              0.20679,
              0.388,
              0.75494,
              1.49335
            ],
            [
              0.03742,
              0.08267,
              0.12409,
              0.20945,
              0.38936,
              0.7553,
              1.4949
            ],
            [
              0.0431,
              0.0891,
              0.1293,
              0.2129,
              0.3905,
              0.756,
              1.4942
            ],
            [
              0.0505,
              0.0986,
              0.1377,
              0.219,
              0.3942,
              0.7582,
              1.4922
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.20884,
              0.24958,
              0.2759,
              0.31713,
              0.38464,
              0.50384,
              0.73025
            ],
            [
              0.21092,
              0.25166,
              0.27797,
              0.31922,
              0.38675,
              0.50588,
              0.73232
            ],
            [
              0.21357,
              0.25434,
              0.28065,
              0.32189,
              0.38941,
              0.50861,
              0.73499
            ],
            [
              0.21774,
              0.25851,
              0.28482,
              0.32608,
              0.3936,
              0.5128,
              0.73923
            ],
            [
              0.22429,
              0.26505,
              0.29136,
              0.33262,
              0.40016,
              0.51936,
              0.74565
            ],
            [
              0.23438,
              0.27515,
              0.30144,
              0.34269,
              0.41024,
              0.52939,
              0.75553
            ],
            [
              0.2501,
              0.29082,
              0.31712,
              0.35838,
              0.42593,
              0.54502,
              0.77123
            ],
            [
              0.27417,
              0.31486,
              0.34113,
              0.38237,
              0.44992,
              0.56913,
              0.79555
            ],
            [
              0.31138,
              0.35199,
              0.37823,
              0.41948,
              0.48708,
              0.60635,
              0.83285
            ],
            [
              0.36629,
              0.40724,
              0.43355,
              0.4749,
              0.5426,
              0.66199,
              0.88819
            ],
            [
              0.43357,
              0.47792,
              0.50562,
              0.54852,
              0.61742,
              0.73732,
              0.96402
            ],
            [
              0.51077,
              0.56017,
              0.58997,
              0.63507,
              0.70647,
              0.82867,
              1.05627
            ],
            [
              0.5977,
              0.6537,
              0.6866,
              0.7351,
              0.8096,
              0.9341,
              1.1633
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.11584,
              0.16689,
              0.20334,
              0.26831,
              0.39256,
              0.63813,
              1.12837
            ],
            [
              0.11894,
              0.17001,
              0.20646,
              0.27144,
              0.39556,
              0.64129,
              1.13234
            ],
            [
              0.12232,
              0.17338,
              0.20988,
              0.27485,
              0.39913,
              0.64486,
              1.13512
            ],
            [
              0.12701,
              0.17807,
              0.21451,
              0.27963,
              0.40374,
              0.64933,
              1.14088
            ],
            [
              0.13369,
              0.18473,
              0.22117,
              0.28627,
              0.41029,
              0.65578,
              1.14621
            ],
            [
              0.14343,
              0.19442,
              0.23082,
              0.29585,
              0.42016,
              0.66566,
              1.15572
            ],
            [
              0.15782,
              0.2087,
              0.24503,
              0.31013,
              0.43436,
              0.68026,
              1.17023
            ],
            [
              0.17841,
              0.22948,
              0.26586,
              0.33092,
              0.4552,
              0.7008,
              1.19226
            ],
            [
              0.20491,
              0.2582,
              0.29496,
              0.3601,
              0.48427,
              0.7301,
              1.22035
            ],
            [
              0.2381,
              0.29466,
              0.33255,
              0.39836,
              0.52295,
              0.76869,
              1.25929
            ],
            [
              0.27884,
              0.33984,
              0.37916,
              0.44632,
              0.57112,
              0.81742,
              1.30922
            ],
            [
              0.32777,
              0.39497,
              0.43637,
              0.50517,
              0.63087,
              0.87707,
              1.36717
            ],
            [
              0.3855,
              0.461,
              0.5055,
              0.5768,
              0.7038,
              0.9503,
              1.4405
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03034,
              0.05783,
              0.07885,
              0.11619,
              0.18737,
              0.33097,
              0.62835
            ],
            [
              0.03028,
              0.05789,
              0.07886,
              0.11617,
              0.18731,
              0.33077,
              0.62811
            ],
            [
              0.03029,
              0.05788,
              0.07868,
              0.11618,
              0.18733,
              0.33096,
              0.62834
            ],
            [
              0.03026,
              0.05788,
              0.07868,
              0.11618,
              0.18722,
              0.3305,
              0.62848
            ],
            [
              0.03026,
              0.05782,
              0.07872,
              0.11616,
              0.18732,
              0.33096,
              0.62809
            ],
            [
              0.03028,
              0.05778,
              0.07887,
              0.11618,
              0.18735,
              0.33105,
              0.6275
            ],
            [
              0.03033,
              0.05789,
              0.07888,
              0.11619,
              0.18731,
              0.33101,
              0.62731
            ],
            [
              0.03028,
              0.05788,
              0.0787,
              0.11621,
              0.18715,
              0.33068,
              0.62796
            ],
            [
              0.03027,
              0.05792,
              0.07874,
              0.11623,
              0.18736,
              0.33099,
              0.62845
            ],
            [
              0.03204,
              0.05889,
              0.07952,
              0.11674,
              0.18745,
              0.33101,
              0.6273
            ],
            [
              0.03798,
              0.06463,
              0.0851,
              0.1214,
              0.1909,
              0.3325,
              0.6288
            ],
            [
              0.0463,
              0.0733,
              0.0933,
              0.1292,
              0.1978,
              0.3375,
              0.6303
            ],
            [
              0.0568,
              0.0853,
              0.105,
              0.1402,
              0.2073,
              0.3448,
              0.6351
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03209,
              0.07647,
              0.11868,
              0.20604,
              0.38672,
              0.75502,
              1.48921
            ],
            [
              0.03207,
              0.07639,
              0.11871,
              0.20599,
              0.38675,
              0.75496,
              1.48983
            ],
            [
              0.03208,
              0.07634,
              0.11875,
              0.20595,
              0.3871,
              0.75363,
              1.48725
            ],
            [
              0.03209,
              0.07645,
              0.11872,
              0.20624,
              0.38677,
              0.75284,
              1.48737
            ],
            [
              0.03207,
              0.07637,
              0.11869,
              0.20625,
              0.38806,
              0.75408,
              1.48981
            ],
            [
              0.03209,
              0.07637,
              0.11877,
              0.206,
              0.38671,
              0.75573,
              1.49163
            ],
            [
              0.03215,
              0.07649,
              0.11883,
              0.2063,
              0.38677,
              0.75264,
              1.48774
            ],
            [
              0.03335,
              0.07715,
              0.11914,
              0.20643,
              0.3868,
              0.75344,
              1.48875
            ],
            [
              0.03609,
              0.07922,
              0.12067,
              0.20685,
              0.38747,
              0.75328,
              1.48883
            ],
            [
              0.03977,
              0.08343,
              0.12397,
              0.20878,
              0.38781,
              0.75366,
              1.4887
            ],
            [
              0.04484,
              0.08875,
              0.1287,
              0.21203,
              0.38926,
              0.7552,
              1.4889
            ],
            [
              0.0516,
              0.0965,
              0.1353,
              0.2169,
              0.3913,
              0.756,
              1.4896
            ],
            [
              0.0606,
              0.1077,
              0.1451,
              0.2238,
              0.3958,
              0.7555,
              1.4883
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.2742,
              0.32224,
              0.35277,
              0.39984,
              0.4744,
              0.60028,
              0.83094
            ],
            [
              0.2759,
              0.32393,
              0.35451,
              0.40152,
              0.47609,
              0.60211,
              0.83252
            ],
            [
              0.27816,
              0.32622,
              0.35674,
              0.4038,
              0.47837,
              0.60436,
              0.83496
            ],
            [
              0.28181,
              0.32987,
              0.3604,
              0.40747,
              0.48203,
              0.60806,
              0.83859
            ],
            [
              0.28755,
              0.3356,
              0.3662,
              0.41322,
              0.48779,
              0.61376,
              0.84419
            ],
            [
              0.29653,
              0.34458,
              0.37509,
              0.42216,
              0.49675,
              0.62275,
              0.85311
            ],
            [
              0.31061,
              0.35862,
              0.38917,
              0.43622,
              0.5108,
              0.63678,
              0.86745
            ],
            [
              0.33245,
              0.38044,
              0.41098,
              0.45801,
              0.53258,
              0.65862,
              0.88916
            ],
            [
              0.36641,
              0.41439,
              0.44489,
              0.49192,
              0.5665,
              0.69256,
              0.92325
            ],
            [
              0.41889,
              0.46669,
              0.49714,
              0.54416,
              0.6188,
              0.74489,
              0.97539
            ],
            [
              0.49262,
              0.54182,
              0.57282,
              0.62022,
              0.69522,
              0.82152,
              1.05212
            ],
            [
              0.57897,
              0.63237,
              0.66497,
              0.71427,
              0.79147,
              0.91977,
              1.15127
            ],
            [
              0.6772,
              0.737,
              0.7723,
              0.8245,
              0.9042,
              1.0349,
              1.2692
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.11585,
              0.16694,
              0.20348,
              0.2687,
              0.39324,
              0.63947,
              1.13227
            ],
            [
              0.11902,
              0.1701,
              0.20667,
              0.27187,
              0.39642,
              0.64294,
              1.13564
            ],
            [
              0.12247,
              0.17353,
              0.21012,
              0.2753,
              0.39989,
              0.64626,
              1.13922
            ],
            [
              0.12724,
              0.17832,
              0.21485,
              0.28012,
              0.40469,
              0.65094,
              1.14367
            ],
            [
              0.13401,
              0.18507,
              0.22162,
              0.28686,
              0.41145,
              0.65783,
              1.15071
            ],
            [
              0.14385,
              0.19487,
              0.23136,
              0.29661,
              0.42124,
              0.66756,
              1.16042
            ],
            [
              0.15832,
              0.2092,
              0.24567,
              0.31087,
              0.43556,
              0.68168,
              1.17493
            ],
            [
              0.17891,
              0.23004,
              0.26646,
              0.33174,
              0.45646,
              0.70339,
              1.19566
            ],
            [
              0.20551,
              0.25877,
              0.29561,
              0.36092,
              0.48546,
              0.73219,
              1.22495
            ],
            [
              0.23868,
              0.29518,
              0.33313,
              0.39915,
              0.52413,
              0.77119,
              1.26369
            ],
            [
              0.27933,
              0.34023,
              0.3796,
              0.44692,
              0.57222,
              0.81932,
              1.31272
            ],
            [
              0.32807,
              0.39507,
              0.43657,
              0.50557,
              0.63187,
              0.87867,
              1.37037
            ],
            [
              0.3852,
              0.4605,
              0.5051,
              0.5768,
              0.7044,
              0.9521,
              1.4436
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03915,
              0.06982,
              0.09251,
              0.13214,
              0.2042,
              0.34615,
              0.63704
            ],
            [
              0.03913,
              0.06984,
              0.09258,
              0.13215,
              0.20445,
              0.34616,
              0.63783
            ],
            [
              0.03913,
              0.06982,
              0.09259,
              0.13195,
              0.20459,
              0.34611,
              0.63784
            ],
            [
              0.03915,
              0.06984,
              0.09262,
              0.13204,
              0.20453,
              0.34613,
              0.6379
            ],
            [
              0.03916,
              0.06989,
              0.09245,
              0.13222,
              0.20421,
              0.3462,
              0.63752
            ],
            [
              0.03914,
              0.06979,
              0.09262,
              0.13188,
              0.20419,
              0.3462,
              0.63766
            ],
            [
              0.03916,
              0.06981,
              0.09257,
              0.13192,
              0.20457,
              0.34577,
              0.63731
            ],
            [
              0.03914,
              0.06985,
              0.0925,
              0.13223,
              0.20449,
              0.34622,
              0.63788
            ],
            [
              0.03911,
              0.0699,
              0.0926,
              0.13188,
              0.20463,
              0.34605,
              0.63756
            ],
            [
              0.039,
              0.06998,
              0.09273,
              0.1322,
              0.20452,
              0.34623,
              0.6376
            ],
            [
              0.0433,
              0.0731,
              0.0954,
              0.1342,
              0.2059,
              0.3468,
              0.6381
            ],
            [
              0.0517,
              0.081,
              0.1025,
              0.141,
              0.2121,
              0.3516,
              0.6403
            ],
            [
              0.0627,
              0.0929,
              0.114,
              0.151,
              0.2207,
              0.3594,
              0.6455
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03197,
              0.07654,
              0.11891,
              0.20672,
              0.38806,
              0.75579,
              1.49207
            ],
            [
              0.03201,
              0.07646,
              0.11897,
              0.20669,
              0.3873,
              0.75529,
              1.49613
            ],
            [
              0.03196,
              0.07654,
              0.11907,
              0.20654,
              0.38747,
              0.75589,
              1.4928
            ],
            [
              0.03203,
              0.07654,
              0.11891,
              0.20673,
              0.38798,
              0.75586,
              1.49205
            ],
            [
              0.03198,
              0.07646,
              0.11897,
              0.20672,
              0.38779,
              0.75581,
              1.4945
            ],
            [
              0.03201,
              0.07658,
              0.11895,
              0.20673,
              0.38804,
              0.7559,
              1.49188
            ],
            [
              0.03205,
              0.07658,
              0.11909,
              0.20666,
              0.38781,
              0.75553,
              1.49379
            ],
            [
              0.03313,
              0.07705,
              0.11936,
              0.20692,
              0.38801,
              0.7554,
              1.49197
            ],
            [
              0.03594,
              0.07929,
              0.12112,
              0.20735,
              0.38865,
              0.75544,
              1.4921
            ],
            [
              0.03965,
              0.08347,
              0.12414,
              0.2093,
              0.3884,
              0.75575,
              1.4921
            ],
            [
              0.0446,
              0.08878,
              0.12888,
              0.21259,
              0.38978,
              0.756,
              1.495
            ],
            [
              0.0514,
              0.0964,
              0.1354,
              0.2174,
              0.3925,
              0.758,
              1.4938
            ],
            [
              0.0604,
              0.108,
              0.1456,
              0.2248,
              0.3961,
              0.7579,
              1.4935
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "positive_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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.29666,
              0.34527,
              0.37598,
              0.42326,
              0.49817,
              0.6246,
              0.85581
            ],
            [
              0.29837,
              0.34699,
              0.3777,
              0.42497,
              0.4999,
              0.62635,
              0.85758
            ],
            [
              0.3007,
              0.34933,
              0.38003,
              0.42731,
              0.50224,
              0.6287,
              0.85994
            ],
            [
              0.3044,
              0.35303,
              0.38376,
              0.43106,
              0.50597,
              0.63238,
              0.86357
            ],
            [
              0.31019,
              0.35887,
              0.38957,
              0.43686,
              0.51178,
              0.6383,
              0.86947
            ],
            [
              0.31924,
              0.36787,
              0.3986,
              0.44591,
              0.52085,
              0.64728,
              0.8783
            ],
            [
              0.33337,
              0.38202,
              0.41276,
              0.46002,
              0.53495,
              0.66146,
              0.89243
            ],
            [
              0.35519,
              0.40383,
              0.43454,
              0.48177,
              0.55672,
              0.6832,
              0.91446
            ],
            [
              0.38906,
              0.43768,
              0.46839,
              0.51566,
              0.59059,
              0.71712,
              0.94835
            ],
            [
              0.44139,
              0.48994,
              0.52061,
              0.56788,
              0.64279,
              0.76939,
              1.00069
            ],
            [
              0.51842,
              0.56772,
              0.59852,
              0.64592,
              0.72092,
              0.84762,
              1.07892
            ],
            [
              0.61077,
              0.66397,
              0.69627,
              0.74547,
              0.82257,
              0.95067,
              1.18247
            ],
            [
              0.7163,
              0.7757,
              0.8107,
              0.8624,
              0.9419,
              1.0724,
              1.3068
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.1159,
              0.17299,
              0.21167,
              0.27837,
              0.40356,
              0.6504,
              1.14227
            ],
            [
              0.11906,
              0.17616,
              0.21487,
              0.28157,
              0.40675,
              0.65342,
              1.14604
            ],
            [
              0.12252,
              0.17961,
              0.21832,
              0.28509,
              0.41009,
              0.65693,
              1.14962
            ],
            [
              0.12729,
              0.18438,
              0.22304,
              0.2898,
              0.41501,
              0.66143,
              1.15408
            ],
            [
              0.13406,
              0.19114,
              0.22981,
              0.29655,
              0.42178,
              0.66861,
              1.16051
            ],
            [
              0.1439,
              0.20092,
              0.23956,
              0.3063,
              0.43156,
              0.67845,
              1.17042
            ],
            [
              0.15836,
              0.21523,
              0.25386,
              0.32057,
              0.44589,
              0.69264,
              1.18473
            ],
            [
              0.17894,
              0.23601,
              0.27463,
              0.34142,
              0.46671,
              0.71387,
              1.20606
            ],
            [
              0.20549,
              0.26491,
              0.30393,
              0.37086,
              0.49622,
              0.74298,
              1.23615
            ],
            [
              0.23865,
              0.30184,
              0.34217,
              0.40998,
              0.53558,
              0.78249,
              1.27489
            ],
            [
              0.27928,
              0.34753,
              0.38974,
              0.45922,
              0.58532,
              0.83252,
              1.32502
            ],
            [
              0.32807,
              0.40317,
              0.44807,
              0.51967,
              0.64717,
              0.89397,
              1.38627
            ],
            [
              0.3852,
              0.4697,
              0.5184,
              0.5932,
              0.7224,
              0.9703,
              1.4619
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.04072,
              0.07158,
              0.09424,
              0.13376,
              0.20602,
              0.34764,
              0.63859
            ],
            [
              0.04072,
              0.07158,
              0.09423,
              0.13372,
              0.20604,
              0.34747,
              0.63862
            ],
            [
              0.04071,
              0.07163,
              0.09425,
              0.13371,
              0.20604,
              0.34752,
              0.63876
            ],
            [
              0.04071,
              0.07159,
              0.09427,
              0.134,
              0.20599,
              0.34772,
              0.6387
            ],
            [
              0.04072,
              0.07155,
              0.09433,
              0.13364,
              0.20622,
              0.34783,
              0.63933
            ],
            [
              0.04072,
              0.07162,
              0.09427,
              0.13385,
              0.20619,
              0.34782,
              0.63934
            ],
            [
              0.04073,
              0.07153,
              0.09418,
              0.13398,
              0.20599,
              0.34783,
              0.63921
            ],
            [
              0.04071,
              0.07152,
              0.09428,
              0.13371,
              0.2063,
              0.34748,
              0.63858
            ],
            [
              0.0407,
              0.07152,
              0.09427,
              0.13357,
              0.20626,
              0.34781,
              0.63926
            ],
            [
              0.04059,
              0.07154,
              0.09422,
              0.13396,
              0.20629,
              0.34782,
              0.6392
            ],
            [
              0.0435,
              0.0734,
              0.0957,
              0.1348,
              0.2066,
              0.3481,
              0.6392
            ],
            [
              0.0517,
              0.0809,
              0.1025,
              0.1414,
              0.2124,
              0.3519,
              0.6413
            ],
            [
              0.0628,
              0.0923,
              0.1133,
              0.1505,
              0.2205,
              0.3593,
              0.6463
            ]
          ]
        },
        "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.0072,
            0.01441,
            0.02882,
            0.05763,
            0.11527,
            0.23053
          ],
          "values": [
            [
              0.03328,
              0.08284,
              0.12419,
              0.20987,
              0.38955,
              0.75717,
              1.49616
            ],
            [
              0.03328,
              0.08274,
              0.12429,
              0.20979,
              0.38944,
              0.75756,
              1.4932
            ],
            [
              0.03328,
              0.0828,
              0.12437,
              0.21004,
              0.38974,
              0.75597,
              1.49191
            ],
            [
              0.03328,
              0.08277,
              0.12434,
              0.20989,
              0.38956,
              0.75834,
              1.49283
            ],
            [
              0.03323,
              0.08283,
              0.12421,
              0.20988,
              0.38954,
              0.75598,
              1.49248
            ],
            [
              0.03329,
              0.08285,
              0.12425,
              0.20989,
              0.38956,
              0.75707,
              1.49206
            ],
            [
              0.03332,
              0.08305,
              0.12435,
              0.20991,
              0.38955,
              0.7572,
              1.49234
            ],
            [
              0.03432,
              0.08348,
              0.12475,
              0.21017,
              0.38977,
              0.75735,
              1.49332
            ],
            [
              0.03707,
              0.08606,
              0.12618,
              0.21073,
              0.38907,
              0.75596,
              1.49408
            ],
            [
              0.04065,
              0.09077,
              0.13032,
              0.21298,
              0.39051,
              0.75648,
              1.492
            ],
            [
              0.04564,
              0.09735,
              0.13618,
              0.21731,
              0.3921,
              0.7563,
              1.4941
            ],
            [
              0.0525,
              0.1067,
              0.1444,
              0.2236,
              0.3953,
              0.7567,
              1.4938
            ],
            [
              0.0616,
              0.12,
              0.1562,
              0.2324,
              0.4003,
              0.7592,
              1.4936
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}